Prolog

прикладной области к другой требует модификации оболочки, то по крайней мере основные принципы ее построения обычно удается сохранить.

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

    (1)        Выбрать формальный аппарат для представления знаний.

    (2)        Разработать механизм логического вывода, соответствующий этому формализму.

    (3)        Добавить средства взаимодействия с пользователем.

    (4)        Обеспечить возможность работы в условиях неопределенности.

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

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

14. 3.    Правила типа 'если-то' для представления знаний

В качестве кандидата на использование в экспертной системе можно рассматривать, в принципе, любой непротиворечивый формализм, в рамках которого можно описывать знания о

некоторой проблемной области. Однако самым популярным формальным языком представления знаний

является

язык правил типа 'если-то'

(или кратко: 'если-то'-правил), называемых также

продукциями

. Каждое такое правило есть, вообще говоря, некоторое условное утверждение, но возможны и различные другие интерпретации. Вот примеры:

если  предварительное условие  Р то   заключение (вывод)  С

если  ситуация  S  то   действие  А

если  выполнены условия  С1  и  С2   то не выполнено условие  С

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

Модульность:   каждое правило описывает небольшой, относительно независимый фрагмент знаний.

Возможность инкрементного наращивания:    добавление новых правил в базу знаний происходит относительно независимо от других правил.

Удобство модификации (как следствие модульности):   старые правила можно изменять и заменять на новые относительно независимо от других правил.

Применение правил способствует прозрачности системы.

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

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

    (2)        Вопросы