- •Назовите основные способы реализации искусственных интеллектуальных систем.
- •Приведите структуру доказательств на основе резолюции
- •Назовите основные сферы приложения искусственного интеллекта и охарактеризуйте их.Извлечение информации из баз данных
- •Комбинаторные задачи и составление расписаний
- •Доказательство теорем
- •Автоматическое программирование
- •Роботика
- •Экспертные консультирующие системы
- •Обработка естественного языка
- •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. Интерпретация формулы, область интерпретации, примеры правильно построенных формул.
Опишите синтаксис и семантику языка предикатов.
Основой логических моделей является понятие формальной системы, задаваемой четвёркой:
M=(T, P, A, F),
где T – множество базовых элементов (например, буквы некоторого алфавита);
P – множество синтаксических правил, на основе которых из T строятся формулы;
A – множество априорно истинных выражений (аксиомы);
F – семантические правила вывода, которые из множества А позволяют получить новые, правильно построенные формулы – теоремы.
Наиболее широко используются модели, опирающиеся на исчисления высказываний и предикатов. Предикатом называется функция от любого числа аргументов, принимающая истинностные значения. Аргументы принимают значения из произвольного конечного или бесконечного множества М, называемого предметной областью.
Алфавит исчисления предикатов состоит из следующего набора символов:
знаки пунктуации { ( , ) . };
логические связи {, , , };
знаки кванторов {, };
символы переменных {a, b, x, v, …};
функциональные буквы {f, g, s, …};
предикатные буквы {P, Q, N, …}.
Логика предикатов, называемая также логикой первого порядка, допускает четыре типа обозначений (имен):
- Константы. Они служат именами индивидуумов (в отличие от имен совокупностей), объектов, людей, событий. Константы обозначаются прописными буквами вроде: К, Слон, G.
- Переменные. Обозначают имена совокупностей, таких как человек, книга, посылка, событие, i, k. Для переменных имен используются строчные буквы.
- Предикатные имена (Предикатные константы). Они задают правила соединения констант и переменных, например правила грамматики, процедуры, математические операции. Для предикатных имен используются прописные буквы: Соединить, Посылка, А, P.
- Функциональные имена представляют такие же правила, как и предикаты. Функциональные имена пишут одними строчными буквами: фраза, сложить, разделить, g, f. Их называют также функциональными константами.
Опишите процедуру поиска методом редукции.
Этот метод приводит к хорошим результатам потому, что часто решение задач имеет иерархическую структуру. Однако не обязательно требовать, чтобы основная задача и все ее подзадачи решались одинаковыми методами. Редукция полезна для представления глобальных аспектов задачи, а при решении более специфичных задач предпочтителен метод планирования по состояниям. Метод планирования по состояниям можно рассматривать как частный случай метода планирования с помощью редукций, ибо каждое применение оператора в пространстве состояний означает сведение исходной задачи к двум более простым, из которых одна является элементарной. В общем случае редукция исходной задачи не сводится к формированию таких двух подзадач, из которых хотя бы одна была элементарной.
Поиск планирования в пространстве задач заключается в последовательном сведении исходной задачи к все более простым до тех пор, пока не будут получены только элементарные задачи. Частично упорядоченная совокупность таких задач составит решение исходной задачи. Расчленение задачи на альтернативные множества подзадач удобно представлять в виде И/ИЛИ-графа. В таком графе всякая вершина, кроме концевой, имеет либо конъюнктивно связанные дочерние вершины (И-вершина), либо дизъюнктивно связанные (ИЛИ-вершина). В частном случае, при отсутствии И-вершин, имеет место граф пространства состояний. Концевые вершины являются либо заключительными (им соответствуют элементарные задачи), либо тупиковыми. Начальная вершина (корень И/ИЛИ-графа) представляет исходную задачу. Цель поиска на И/ИЛИ-графе-показать, что начальная вершина разрешима. Разрешимыми являются заключительные вершины (И-вершины), у которых разрешимы все дочерние вершины, и ИЛИ-вершины, у которых разрешима хотя бы одна дочерняя вершина. Разрешающий граф состоит из разрешимых вершин и указывает способ разрешимости начальной вершины. Наличие тупиковых вершин приводит к неразрешимым вершинам. Неразрешимыми являются тупиковые вершины, И-вершины, у которых неразрешима хотя бы одна дочерняя вершина, и ИЛИ-вершины, у которых неразрешима каждая дочерняя вершина.
Билет №5