Основы современных компьютерных технологий


Продукционные системы


Продукционные системы - это системы представления знаний, основанные на правилах типа

"УСЛОВИЕ-ДЕЙСТВИЕ".

Записываются эти правила обычно в виде

ЕСЛИ А1,A2...An ТО В.

Такая запись означает, что "если выполняются все условия от А1 до Аn (являются истинными), тогда следует выполнить действие В". Часть правила после ЕСЛИ называется посылкой, а часть правила после ТО - выводом, или действием, или заключением.

Условия А1,А2...Аn обычно называют фактами. С помощью фактов описывается текущее состояние предметной области. Факты могут быть истинными, ложными либо, в общем случае, правдоподобными, когда истинность факта допускается с некоторой степенью уверенности.

Действие В трактуется как добавление нового факта в описание текущего состояния предметной области.

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

Факты - это истинные высказывания (в естественном языке - это повествовательные предложения) об объектах или явлениях предметной области.

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

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

295

На этой идее и построены системы продукций. Типичная структура системы, основанной па правилах, приведена на рис. 23.2.


Рис. 23.2.


Начало  Назад  Вперед