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



              

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



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

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

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

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

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

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

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

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

line();

если
    1        тип инфекции - это первичная бактериемия и
    2        материал для посева был отобран стерильно, и
    3         предполагаемые ворота инфекции - желудочно- кишечный тракт

то
            имеются веские аргументы  (0.7)  за то,
            что инфекционный агент является бактерией

line();









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