Продукционные правила

Исчисления предикатов первого порядка.

Модели представления знаний.

Для организации БЗ в ЭС используются следующие модели представления знаний:

- исчисление предикатов первого порядка;

- продукционные правила;

- программа;

- семантические сети;

- фреймы.

Знания представляются посредством совокупности правильно построенных формул (ППФ). ППФ конструируются из элементарных высказываний с помощью кванторов и логических связок по четко определенным правилам, которые называются правилами построения. Элементарное высказывание состоит из предиката и связанных с ним аргументов. Предикат - это логическая функция, которая в отличие от обычной функции имеет только логические значения истины или лжи.

Основным механизмом интерпретации знаний является правило вывода, с помощью которого осуществляется дедуктивный вывод новых формул, исходя из набора данных формул. Интерпретация знания и процесс рассуждения используют техники доказательства теорем.

Основными характеристиками этой модели представления являются жесткость и модульность. Это приводит к следующим преимуществам и недостаткам.

Преимущества:

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

Недостатки:

- необходимость абсолютно совершенной внутренней связи;

- время интерпретации нарастает очень быстро с возрастанием объема обрабатываемых знаний;

- трудно учесть эвристики в процессе решения.

Знания представлены в виде совокупности правил и фактов. Продукционное правило имеет следующую структуру:

ЕСЛИ (условие), ТО (действие),

где условие - это образец, по которому осуществляется поиск в БЗ; а действие определяет совокупность действий, выполняемых при успешном исходе поиска.

Процесс интерпретации знаний является циклическим в трех стадиях:

1. Продукционные правила рассматриваются интерпретатором в точно определенном порядке. Выбираются правила, условия которых оказываются выполнимыми в данной ситуации;

2. Если выбрано несколько правил, то необходимо выбрать то, которое будет действительно применено (процедурой разрешения конфликтов);

3. Правило выбрано, выполняется специфицируемое им “действие” (что переводит данную ситуацию в новое состояние). После этого повторяется та же процедура проверки и выбора, т. е. возврат к пункту 1. Вычислительный процесс останавливается, когда нет применимых продукций, либо когда достигнуто желаемое (целевое) состояние базы.

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

Преимущества:

- модульность: легко расширить и модифицировать БЗ, поскольку правила полностью независимы друг от друга;

- унифицированность представления: структура продукционного правила очень жесткая, что обуславливает большую читабельность и модификацию правил системой (путем самообучения);

- естественность (помимо простоты, это представление очень естественного для человека, благодаря чему облегчается сбор знания и понимание процесса рассуждения).

Недостатки:

- использование правил грозит привести к созданию очень “медленных” систем (с увеличением числа правил процесс их рассмотрения становится очень медленным, поскольку получается комбинаторный “взрыв” числа случаев для рассмотрения);

- трудно вновь воспользоваться опытом прежних рассуждений, чтобы направить новые рассуждения;

- структура правил ограничивает количество хранимой информации в каждом из них;

- невозможно избавиться от отрывочности знаний.

Продукционные правила нашли очень широкое использование для представления знаний в ЭС.

Дата добавления: 2014-01-20