метод явных кванторов существования, метод нормальных форм Сколема, метод конъюнктивных нормальных форм, метод постатейных представлений и другие. Эти методы позволяют создать на единой семантической базе совершенно различные представления, которые обеспечивают конкретные разновидности интеллектуальных операций 4.
2. 2 Продукционная модель представления знаний
Система продукций образуется множеством правил продукции. Эти правила формулируют определенные действия при выполнении некоторых заданных условий. Поскольку одновременно могут выполняться несколько условий, должна быть определена стратегия выбора.
В самом простом виде правила продукций близки по смыслу импликации "Если - то", поэтому для правил продукций можно принять обозначение или, раскрыв условие применимости, эта запись примет вид:
P1 P2 P3 . . . Pn - B,
где Pi (i1,2, . . . , n) - условия применимости, образующие конъюнкцию;
В - заключение или действие, которое имеет место при истинности конъюнкции.
Приведем пример правила продукций для экспертной системы, предназначенной для диагностики неисправности:
Если внутреннее тестирование прошло и имеет место многократная перезагрузка операционной системы, то залипание клавиш или сбой ОЗУ.
Система продукций выгодна для выражения знаний, которые могут принимать форму переходов между состояниями (ситуация - действие, посылка - заключение, причина - следствие).
Необходимо различать продукционные системы, управляемые данными (предусловиями правил) и продукционные системы, управляемые целями (действиями правил).
База знаний продукционной экспертной системы состоит из множества правил продукций (базы правил)
ПP1, P2, . . . , Pm
и конечного набора фактов (базы
Страницы: << < 11 | 12 | 13 | 14 | 15 > >>