Введение в искусственный интеллект
Специальный курс
Искусственный интеллект (ИИ) как моделирование процесса мышления. Современные представления о структуре головного мозга человека и процессе мышления.
Методы представления знаний. Объекты, их свойства и отношения между ними. Предметные области. Понятие о базах знаний. Представление знаний: логическими системами, продукционными правилами, семантическими сетями, фреймами.
Основные направления развития ИИ. Экспертные системы (ЭС). Структурная схема ЭС. Функционирование и режимы работы ЭС. Области применения.. Естественно-языковый интерфейс. Обзор путей решения этой проблемы.
Дедуктивный логический вывод как основной метод автоматизации решения интеллектуальных задач. Проблема дедукции в исчислении высказываний. Правило резолюций в ИВ. Вычисление резольвенты. Дизъюнкты Хорна в ИВ. Метод резолюций для множества дизъюнктов Хорна в ИВ. Примеры использования метода.
Проблема дедукции в исчислении предикатов первого порядка (ИП). Клаузальные формы. Преобразование формул ИП в клаузальные формы. Правило резолюций в ИП. Вычисление резольвенты. Дизъюнкты Хорна в ИП. Процедура унификации. Метод резолюций для множества дизъюнктов Хорна в ИП. Примеры использования метода.
Принцип логического программирования. Описание предметной области. Факты и правила как дизъюнкты Хорна, представляющие свойства объектов предметной области и отношения между ними. Извлечение новой информации о предметной области с помощью логического вывода.
Язык Пролог. Программы на языке Пролог. Интерпретация программ. Рекурсивные правила и примеры их использования. Два типа семантики программ. Списки и основные предикаты работы с ними. Понятие о встроенных предикатах. Предикат "Отсечение" и примеры его использования. Примеры программ на языке Пролог.
Литература.
- Логический подход к искусственному интеллекту: от классической логики к логическому программированию. М.: Мир, 1990.
- Логический подход к искусственному интеллекту: от модальной логики к логике баз данных. М.: Мир, 1998.
- Представление и использование знаний. М.: Мир, 1989.
- Чень Ч., Ли Р. Математическая логика и автоматическое доказательство теорем. М.: Наука, 1983.
- Ин Ц,. Соломон Д. Использование Турбо-Пролога. М.: Мир, 1993.