Machlearn programme09

Тема 3. Способы представления знаний о мире.

• 
  Содержание темы:
  

• 
  Логические агенты. Агенты, основанные на знаниях.
  
• 
  Пропозициональная логика: синтаксис, семантика. Логический вывод: эквивалентность, допустимость и выполнимость. Шаблоны формирования рассуждений в пропозициональной логике.
  
• 
  Резолюция. Прямой и обратный логический вывод. Алгоритмы локального поиска. Агенты, основанные на пропозициональной логике.
  
• 
  Логика первого порядка. Логический вывод в логике первого порядка.
  
• 
  Синтаксис, семантика и модели логики первого порядка.
  
• 
  Сравнение методов логического вывода в пропозициональной логике. Прямой и обратный логический вывод. Логическое программирование
  
• 
  Резолюция. Конъюнктивная нормальная форма для логики первого порядка. Правило логического вывода с помощью резолюции. Средства автоматического доказательства теорем.
  
• 
  Онтологическая инженерия. Онтология ситуационного исчисления. Решение проблемы представительного и выводимого окружения. Исчисление времени и событий.
  

• 
  Формальная теория убеждений. Знания и убеждения. Системы формирования рассуждений о категориях. Семантические сети.
  

• 
  Основная литература
  

1. 
   С.Рассел, П.Норвиг Искусственный интеллект: современный подход: Пер.с англ. – М.: Издательский дом «Вильямс», 2006. – 1408с.
   
2. 
   Андрейчиков А.В., Андрейчикова О.Н. Интеллектуальные информационные системы: Учебник.-М.:Финансы и статистика, 2006. – 424 с.
   
3. 
   Рыбина Г.В. Основы построения интеллектуальных систем /учеб. пособие М.: Финансы и статистика, 2009.- 432 c
   

• 
  Дополнительная литература
  

4. 
   Евгенев Г.Б. Интеллектуальные системы проектирования: Учебное пособие .- М.: Изд-во МГТУ им. Н.Э. Баумана, 2009.- 334 с
   
5. 
   А. Н. Швецов, Агентно-ориентированные системы: от формальных моделей к промышленным приложениям , 2008
   
6. 
   http://www.aiportal.ru/ - Портал искусственного интеллекта. Статьи и файлы по основным направлениям исследований в области искусственного интеллекта.
   
7. 
   http://webagents.report.ru/_5FolderID_22_.html – русскоязычный сайт с информацией об интеллектуальных агентах