- •Назовите основные способы реализации искусственных интеллектуальных систем.
- •Приведите структуру доказательств на основе резолюции
- •Назовите основные сферы приложения искусственного интеллекта и охарактеризуйте их.Извлечение информации из баз данных
- •Комбинаторные задачи и составление расписаний
- •Доказательство теорем
- •Автоматическое программирование
- •Роботика
- •Экспертные консультирующие системы
- •Обработка естественного языка
- •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. Интерпретация формулы, область интерпретации, примеры правильно построенных формул.
1. Что такое стратегия управления в системе продукций?
Поиск решений в пространстве состояний сводится к определению последовательности операторов, отображающих начальные состояния в целевые.
Методы поиска решений в пространстве состояний является, своего рода, метапроцедурами искусственного интеллекта. Все многообразие такого рода метапроцедур, используемых в различного рода интеллектуальных системах, в достаточно полном объеме рассматривается в разделе 5.
В общем случае можно выделить два основных класса стратегий поиска.
Стратегии первого класса реализуют в той или иной степени идею полного перебора пространства состояний. Они гарантируют нахождение решения, но, обладая экспоненциальной трудоемкостью, неприменимы для задач большой размерности. Стратегии 2-го класса основаны на идее упорядоченного перебора пространства решений.
Для большинства практических задач удается сформулировать эмпирические правила, позволяющие уменьшить объем перебора. Эти правила используют специфическую информацию о решаемой задаче, формируемую на основе опыта, интуиции и здравого смысла исследователя. Информацию такого рода называют эвристической, а основанные на ней алгоритмы – эвристическими.
Основная идея эвристических алгоритмов заключается в упорядочении списка открытых вершин в соответствии с некоторой мерой, оценивающей «перспективность» вершины или пути, на котором находится данная вершина. Такую меру называют оценочной функцией.
Стратегия «подъема на гору», Принцип «стопки книг», Принцип наиболее длинного условия, Принцип метапродукций, Принцип «классной доски», Принцип приоритетного выбора, Управление по именам
2. Назовите основные стратегии поиска на дереве опровержения.
Существует еще ряд методов, позволяющих произвести упрощения.
Стратегия очищения. К ним относятся методы доказательства опровержения, при которых используются не все, а определенные резолюции. Разные стратегии очищения отличаются между собой правилом отбора предложений для резолюций.
Одной из таких стратегий очищения является стратегия опорного множества.
Опровержение с использованием опорного множества состоит в том, что, по крайней мере, один из родителей в каждой резольвенте выбирается из предложений, возникающих при отрицании целевой правильно построенной формулы или их потомков (опорное множество). Можно показать, что если существует какое-либо опровержение, то существует и некоторое опровержение, основанное на опорном множестве. Такая стратегия должна лишь обеспечивать перебор всех возможных опровержений на основе опорного множества (скажем, метода поиска в ширину). Обычно стратегии, основанные на опорном множестве, оказываются более эффективными, по сравнению с ничем не ограниченным поиском в ширину.
Линейная по входу стратегия состоит в том, что, по крайней мере, одно родительское предложение в каждой резольвенте принадлежит базовому множеству. В базовое множество входит все исходное множество предложений, включая предложения, идущие от целевого утверждения.
Стратегия упорядочения. К ним относятся стратегии, в которых не запрещаются никакие типы резольвенций, а лишь даются указания на то, какие из них надо выполнять в первую очередь.
Так как цель резолюций в процессе опровержения – это вывод пустого предложения, то напрашивается стратегия предпочтения одночленам. При этом сначала делается попытка построить резольвенту для двух одночленов, т. е. предположений, содержащих только один литерал. Если это удается, то сразу получается пустое предложение, т. е. опровержение. Если таких одночленов нет, то делается попытка найти резольвенту для пары одночлен-двухчлен, затем одночлен-трехчлен и т. д. Как только какая-нибудь пара разрешается, полученную резольвенту сразу сопоставляют с одночленами, с тем, чтобы попытаться найти резольвенту для пары одночлен – полученная резольвента.
Со стратегией предпочтения одночленам тесно связана стратегия наименьшего числа компонент, которая упорядочивает резолюции по числу литералов в получаемых резольвентах. При этой стратегии в первую очередь разрешаются два предложения, дающие резольвенту с наименьшим числом литералов.
Комбинированные стратегии. Естественно, что не обязательно описанные стратегии использовать в «чистом» виде, т. е. каждую стратегию в отдельности. Более целесообразно комбинировать несколько стратегий. Однако при этом следует иметь в виду, что хотя чистые стратегии являются полными, комбинированная стратегия, полученная на их основе, может оказаться неполной.
Билет №20