- •Назовите основные способы реализации искусственных интеллектуальных систем.
- •Приведите структуру доказательств на основе резолюции
- •Назовите основные сферы приложения искусственного интеллекта и охарактеризуйте их.Извлечение информации из баз данных
- •Комбинаторные задачи и составление расписаний
- •Доказательство теорем
- •Автоматическое программирование
- •Роботика
- •Экспертные консультирующие системы
- •Обработка естественного языка
- •2. Дайте определение понятию общеинтеллектуальная процедура (метапроцедура). Опишите процедуру целенаправленного поиска в лабиринте возможностей.
- •1. Дайте определения понятиям "знание" и "данные" и укажите их различие. Назовите основные признаки знаний и дайте им определения.
- •Приведите основные этапы процесса извлечения ответа.
- •Опишите синтаксис и семантику языка предикатов.
- •Опишите процедуру поиска методом редукции.
- •1. Дайте определение понятию "искусственный интеллект". Охарактеризуйте основные теоретические проблемы искусственного интеллекта.
- •2.Охарактеризуйте понятие резолюции в общем виде.
- •Другими словами, помня, что
- •Дайте определения понятиям "знание" и "данные" и укажите их различие.Назовите основные признаки знаний и дайте им определения.
- •Опишите структуру продукционного правила.
- •Перечислите основные виды знаний и охарактеризуйте их.
- •2. Что такое логический вывод? в чем заключается метод решения задач, использующий аппарат логики предикатов
- •1. Что такое предикатная функция?
- •2. Опишите процедуру поиска в глубину. Опишите процедуру поиска в ширину.
- •1. Дайте определение семантической сети.
- •Что такое унификация?
- •1. Перечислите семантические отношения и дайте им определения.
- •2. В чем заключается задача представления некоторой системы в виде системы продукций?
- •1. Перечислите основные типы объектов в семантической сети и дайте им определения.Приведите пример семантической сети.
- •2. Как вычисляются коэффициенты определенности посылок и заключений?
- •Если (а1 а2), то в.
- •В нашем случае
- •Перемножив все компоненты этой формулы, мы увидим, что
- •Дайте определение фрейму
- •Опишите стратегию управления на основе принципа “классной доски”.
- •1. Дайте определение продукционному правилу.
- •2. Как представляется система доказательств в системе опровержения на основе резолюции?
- •1. Назовите группы и типы фреймов. Приведите пример фрейма.
- •2. Опишите стратегию “подъема на гору”.
- •1.Опишите структуру ядра продукционного правила.
- •2.Опишите правило исключения кванторов существования и дайте определение функции Сколема.
- •Опишите основные компоненты системы продукций и связь между ними.
- •2. Опишите процедуру поиска в факторизованном пространстве.
- •1. Что такое интерпретация формулы, область интерпретации?Приведите примеры правильно построенных формул.
- •Приведите последовательность основных этапов тождественных преобразований исходной формулы во множество клауз.
- •1. Что такое продукции?
- •2. Что представляет собой дерево опровержения?
- •1. Что такое стратегия управления в системе продукций?
- •2. Назовите основные стратегии поиска на дереве опровержения.
- •1. Назовите основные признаки и функциональные возможности в соответствии с которыми систему можно отнести к интеллектуальной
- •2. Как применяются методы доказательства теорем к решению задач.
- •1. Опишите процедуру поиска метода генерация – проверка.
- •2. В чем сущность процесса извлечения ответа?
- •1. Опишите методику выработки заключения на основе вероятностных характеристик.
- •2. Опишите используемые в системах продукций стратегии управления.
- •Опишите структуру вывода заключения на основе байесовского подхода.
- •2. Опишите процедуру поиска с использованием нескольких моделей
- •1. Опишите основные принципы дедукции на основе байесовского подхода.
- •2. В чем, на современном этапе исследований, отличие искусственного интеллекта от естественного?Чем отличаются формализованные знания от неформализованных?
- •1. Нечеткие и приближенные высказывания? Что такое коэффициент определенности?
- •Если (а1 а2), то в.
- •2. Приведите структуру доказательств на основе резолюции.
- •Другими словами, помня, что
- •1 Учет нескольких признаков при расчете вероятности гипотезы? Для чего и как рассчитывается цена свидетельств? Как учитывается неопределенность в ответе пользователя?
- •2. Интерпретация формулы, область интерпретации, примеры правильно построенных формул.
Что такое унификация?
Унификация — это распространённый и эффективный метод устранения излишнего многообразия посредством сокращения перечня допустимых элементов и решений, приведения их к однотипности. Унификация является разновидностью систематизации, которая преследует цель распределения предметов в определённом порядке и последовательности, образующей чёткую систему, удобную для пользования.
Билет №10
1. Перечислите семантические отношения и дайте им определения.
Многообразие семантических отношений условно можно разделить на четыре класса: лингвистические, логические, теоретико-множественные и квантифицированные.
Лингвистические отношения. Наиболее употребительными лингвистическими отношениями являются падежные, к которым относятся, в частности, следующие. Агент - отношение между событиями и тем, что (кто) его вызывает; объект - отношение между событием и тем, над чем производится действие; условия - отношение, указывающее логическую зависимость между событиями; инструмент - объект, с помощью которого совершается событие; место - место совершения события.
Другой тип лингвистических отношений - это характеризация глаголов и атрибутивные отношения. К характеризации глаголов относится наклонение, время, число, залог. Атрибутивные отношения - это цвет, размер, форма, модификация и т.д. Например, фраза "Большие красные шары" с использованием атрибутивных отношений может быть представлена структурой, показанной на рис. 4.5.
Логические отношения - это операции, используемые в исчислении высказываний: дизъюнкция, конъюнкция, импликация, отрицание.
Теоретико-множественные отношения - это подмножество (обозначается S и B), элемент множества, отношения части и целого и др. Этот класс отношений используется для построения иерархических структур. Пример такой структуры представлен на рис. 4.6.
Квантифицированные отношения - это логические кванторы общности и существования. Логические кванторы применяются для представления знаний декларативного типа, например, при записи таких утверждений, как
"Каждая печатная плата требует тщательного контроля при изготовлении"
или
"Существует набор микросхем, на котором можно построить устройство управления".
С каждым отношением связано множество атрибутов, которые могут принимать некоторые значения. Будем под фактом понимать конкретизацию определенного отношения между указанными объектами. В графической интерпретации факт - это подграф семантической сети, имеющий звездообразную структуру. Корень подграфа - вершина предикатного типа, помеченная уникальной меткой, включающей имя соответствующего отношения. Из вершины факта выходят ребра, помеченные именами атрибутов данного факта, ведущие в вершины базового множества объектов, которые являются значениями этих атрибутов.
В качестве примера семантической сети рассмотрим представление знаний, содержащихся в предложении "Если станок закончил обработку, робот грузит кассету с деталями на робокар, который перевозит их на склад, где штабелер помещает кассету в ячейки". Выделим базовое множество объектов: робот,кассета,деталь,робокар, склад,штабелер, ячейка,станок,обработка. Выделим пять факторов: станок закончил обработку (F1), робот грузит (F2), робокар перевозит (F3), кассета содержит (F4), штабелер размещает (F5). Обозначим на графе семантической сети факты кружочками, а связанные с ними понятия - прямоугольниками. Дуги пометим наименованиями отношений, которые они выражают.