Иллюстрированный самоучитель по введению в экспертные системы

         

Логическое программирование


  • 8.1. Формальные языки

  • 8.2. Язык PROLOG

  • 8.3. Опровержение резолюций

  • 8.4. Процедурная дедукция в системе PLANNER

  • 8.5. PROLOG и MBASE

  • Рекомендуемая литература

  • Упражнения

    Еще в конце 1970-х годов стала отчетливо просматриваться тенденция к использованию в исследованиях в области искусственного интеллекта "формальных" методов, т.е. основанных на аппарате математической логики. Эти методы противопоставлялись более интуитивным и менее формализованным эвристическим методам, скажем, таким, которые были использованы в системе MYCIN. Для того чтобы стало ясно, что все это значит, нужно познакомить вас с логическими языками, а затем показать, как соотносятся их свойства с теми методами рассуждений, которые должны поддерживать типовые экспертные системы.



    Содержание раздела