56 Системы искусственного интеллекта
Работа добавлена на сайт samzan.net: 2016-03-30
Поможем написать учебную работу
Если у вас возникли сложности с курсовой, контрольной, дипломной, рефератом, отчетом по практике, научно-исследовательской и любой другой работой - мы готовы помочь.
Предоплата всего
от 25%
Подписываем
договор
Вопросы к экзамену по курсу
«Системы искусственного интеллекта».
- Классификация систем искусственного интеллекта. Системы с интеллектуальным интерфейсом, экспертные системы, самообучающиеся системы, адаптивные системы.
- Характеристики знаний. Логические, сетевые, продукционные и фреймовые модели представления знаний.
- Исчисление высказываний. Алфавит и правила построения формул. Правила вывода в исчислении высказываний. Понятие аксиоматической системы. Свойства аксиоматических систем.
- Интерпретация формул в исчислении высказываний. Общезначимые и противоречивые формулы. Определение логического следствия. Основные теоремы доказательства логического следствия.
- Исчисление предикатов первого порядка. Алфавит. Понятие терма. Определение предиката. Свободные и связанные переменные. Правила построения формул в исчислении предикатов.
- Интерпретация формул в логике предикатов первого порядка. Общезначимые и противоречивые формулы в исчислении предикатов. Системы аксиом логики предикатов. Правила вывода в исчислении предикатов.
- Пренексные нормальные формы. Алгоритм преобразования формул в ПНФ. Скулемовские стандартные формы. Алгоритм преобразования ПНФ в ССФ.
- Определение резольвенты. Метод резолюций в исчислении высказываний. Фразовая форма представления дизъюнктов. Фразы Хорна.
- Унификация в логике предикатов. Определение унификатора. Алгоритм нахождения наиболее общего унификатора. Понятие резольвенты в исчислении предикатов. Алгоритм метода резолюций.
- Теоретические основы языка программирования Пролог. Понятие терма в Прологе. Инициализация переменных. Область действия имен. Понятие анонимной переменной. Примеры.
- Типы предложений в языке Пролог: факты, цели, правила. Использование дизъюнкции и отрицания в Прологе. Примеры.
- Унификация переменных в Прологе. Правила унификации. Вычисление цели. Механизм возврата. Примеры.
- Управление поиском решений. Примеры. Процедурность Пролога.
- Структура программ в языке Пролог. Типы данных. Использование составных термов в Прологе. Определение списка в Прологе. Операции над списками. Примеры предикатов для работы со списками.
- Повторение и рекурсия в Прологе. Использование механизма возврата. Метод возврата после неудачи. Правило повтора, использующее бесконечный цикл. Примеры.
- Методы организации рекурсии. Оптимизация хвостовой рекурсии. Примеры.
- Создание динамических баз данных. Встроенные предикаты для работы с динамическими базами. Примеры.
- Рекурсивные структуры данных. Представление бинарных деревьев в языке Пролог. Определение бинарного дерева. Программа обхода бинарного дерева.
- Представление графов в языке Пролог. Поиск пути на графе. Пример программы поиска пути на графе.
- Основные стратегии решения задач в Прологе. Метод «образовать и проверить». Примеры.
- Поиск решений в пространстве состояний. Алгоритм А*. Пример.
- И/ИЛИ – графы. Решение игровых задач в терминах И/ИЛИ- графа. Пример решения задачи. Минимаксный принцип поиска решений.
- Проектирование экспертных систем. Типы решаемых задач.
- Инструментальные средства разработки. Нечѐткие знания в экспертных системах.
- Продукционные правила для представления знаний. Формирование ответа на вопрос «почему». Формирование ответа на вопрос «как».