zhChinese    enEnglish
  ПМ-ПУ  » Образование  » Программы курсов  » Дисциплины специализаций » Введение в искусственный интеллект

Введение в искусственный интеллект

Специальный курс

Лектор: д.ф.-м.н., проф. Братчиков И.Л.

Искусственный интеллект (ИИ) как моделирование процесса мышления. Современные представления о структуре головного мозга человека и процессе мышления.

Методы представления знаний. Объекты, их свойства и отношения между ними. Предметные области. Понятие о базах знаний. Представление знаний: логическими системами, продукционными правилами, семантическими сетями, фреймами.

Основные направления развития ИИ. Экспертные системы (ЭС). Структурная схема ЭС. Функционирование и режимы работы ЭС. Области применения.. Естественно-языковый интерфейс. Обзор путей решения этой проблемы.

Дедуктивный логический вывод как основной метод автоматизации решения интеллектуальных задач. Проблема дедукции в исчислении высказываний. Правило резолюций в ИВ. Вычисление резольвенты. Дизъюнкты Хорна в ИВ. Метод резолюций для множества дизъюнктов Хорна в ИВ. Примеры использования метода.

Проблема дедукции в исчислении предикатов первого порядка (ИП). Клаузальные формы. Преобразование формул ИП в клаузальные формы. Правило резолюций в ИП. Вычисление резольвенты. Дизъюнкты Хорна в ИП. Процедура унификации. Метод резолюций для множества дизъюнктов Хорна в ИП. Примеры использования метода.

Принцип логического программирования. Описание предметной области. Факты и правила как дизъюнкты Хорна, представляющие свойства объектов предметной области и отношения между ними. Извлечение новой информации о предметной области с помощью логического вывода.

Язык Пролог. Программы на языке Пролог. Интерпретация программ. Рекурсивные правила и примеры их использования. Два типа семантики программ. Списки и основные предикаты работы с ними. Понятие о встроенных предикатах. Предикат "Отсечение" и примеры его использования. Примеры программ на языке Пролог.

Литература.

  1. Логический подход к искусственному интеллекту: от классической логики к логическому программированию. М.: Мир, 1990.
  2. Логический подход к искусственному интеллекту: от модальной логики к логике баз данных. М.: Мир, 1998.
  3. Представление и использование знаний. М.: Мир, 1989.
  4. Чень Ч., Ли Р. Математическая логика и автоматическое доказательство теорем. М.: Наука, 1983.
  5. Ин Ц,. Соломон Д. Использование Турбо-Пролога. М.: Мир, 1993.