Программирование на языке ПРОЛОГ для искуственного интеллекта




Правила типа "если-то" для представления знаний


В качестве кандидата на использование в экспертной системе можно рассматривать, в принципе, любой непротиворечивый формализм, в рамках которого можно описывать знания о некоторой проблемной области. Однако самым популярным формальным языком представления знаний является язык правил типа "если-то" (или кратко: "если-то"-правил), называемых также продукциями. Каждое такое правило есть, вообще говоря, некоторое условное утверждение, но возможны и различные другие интерпретации. Вот примеры:

  • если  предварительное условие  Р то   заключение (вывод)  С
  • если  ситуация  S  то   действие  А
  • если  выполнены условия  С1  и  С2   то не выполнено условие  С

"Если-то"-правила обычно оказываются весьма естественным выразительным средством представления знаний. Кроме того, они обладают следующими привлекательными свойствами:

  • Модульность:   каждое правило описывает небольшой, относительно независимый фрагмент знаний.
  • Возможность инкрементного наращивания:    добавление новых правил в базу знаний происходит относительно независимо от других правил.
  • Удобство модификации (как следствие модульности):   старые правила можно изменять и заменять на новые относительно независимо от других правил.
  • Применение правил способствует прозрачности системы.

Последнее свойство - это важное, отличительное свойство экспертных систем. Под прозрачностью мы понимаем способность системы к объяснению принятых решений и полученных результатов. Применение "если-то"-правил облегчает получение ответов на следующие основные типы вопросов пользователя:

    (1)        Вопросы типа "как":   Как вы пришли к этому выводу?

    (2)        Вопросы типа "почему":   Почему вас интересует эта информация?

Механизмы, основанные на "если-то"-правилах, для формирования ответов на подобные вопросы мы обсудим позже.




Содержание  Назад  Вперед