Лекция 6
1.6.1. Системы продукции
Продукционные модели - это наиболее распространенные на текущий день модели, в которых знания представляются с помощью правил вида:
Если - то (явление - реакция)
При использовании таких моделей у систем основанных на знаниях имеется возможность:
применение простого и точного механизма использования знаний;
представления знаний с высокой однородностью, описываемых по единому синтаксису.
Эти две отличительные черты и определили широкое распространение методов представления знаний правилами.
Программные средства, оперирующие со знаниями, представленными правилами, получили название продукционных систем(илисистем продукции) и впервые были предложены Постом в 1941 году.
Продукция в системе Поста имеет следующую схему:
(*)
где t1, t2, ...,tn – посылки;
t – заключение.
Применение схемы Поста (*) основывается на подстановке цепочек знаков вместо переменных, причем вместо вхождения одной и той же переменной представляется одна и та же цепочка.
Общим для систем продукцииявляется то, что они состоят из трех элементов:
Набор правил, используемых как БЗ, его еще называют базой правил;
Рабочая память, где хранятся предпосылки, касающиеся отдельных задач, а также результаты выводов, получаемых на основе этих предпосылок (динамическая база данных - ДБД);
Механизм логического вывода, использующий правила в соответствии с содержимым рабочей памяти.
Конфигурацию систем продукции упрощенно можно представить в следующем виде рис. 1.6.1.
Механизм вывода
(сопоставление)
Рабочая
память
(ДБД)
Рис. 1.6.1. Конфигурация продукционной системы
1.6.2. Механизм функционирования систем продукции
На простом примере рассмотрим упрощенно механизм функционирования систем продукции.
Допустим, что данные, записанные в рабочую область, представляют собой образцы в виде набора символов:
«Намерение – отдых» «место отдыха – горы»
Эти образцы соответствуют фактам «намерение IS отдых» и «место отдыха IS горы».
Правила отражают содержимое рабочей памяти. В их условной части находятся либо одиночные образцы, либо несколько условий, соединенных предлогом «И», а в заключительной части – образцы, дополнительно регистрируемые в памяти:
правило №1ЕСЛИ «намерение – отдых» И
«дорога - ухабистая»
ТО «использовать - джип»
правило №2ЕСЛИ «место отдыха – горы»
ТО «дорога – ухабистая»
Тогда после того, как в рабочую память записываются образцы и в базу – правила, рассматривается возможность применения этих правил. Для этого механизм вывода сопоставляет образцы из условной части правила с образцами, хранимыми в рабочей памяти. Если все образцы имеются в рабочей памяти, условная часть считается истинной, в противном случае – ложной.
Для рассматриваемого примера рабочая память и база правил будет заполнена, как это изображено на рис. 1.6.2.
Механизм вывода
Рабочая
память
____________________ «намерение
– отдых»
«место отдыха –
горы»
____________________
«дорога –
ухабистая»
«использовать – джип»
База правил
Рис.1.6.2. Прямая цепочка рассуждений
Для рассматриваемого примера последовательность логического вывода будет следующей:
Механизм вывода анализирует правила, начиная с первого, определяет наличие образца «намерение – отдых» в рабочей памяти и отсутствие в ней образца «дорога – ухабистая».
Условная часть правила №1 считается ложной, и механизм вывода переходит к следующему правилу (в нашем случае к правилу №2).
Условная часть правила №2 признается истинной, т.к. образец «место отдыха – горы» присутствует в рабочей памяти и механизм вывода переходит к выполнению его заключительной части.
Заключительная часть правила №2 «дорога – ухабистая» заносится в рабочую память.
После просмотра всех правил происходит вторичное их применение, начиная с первого правила, за исключением тех, которые уже были применены (в примере это правило №2).
При повторном сопоставлении правила №1 его условная часть становится истинной ввиду доопределения рабочей памяти, и механизм вывода выполняет его заключительную часть.
Заключительная часть «использовать - джип» переносится в рабочую память, а правило №1 исключается из дальнейшего согласования.
Правил для сопоставления не остается, и система останавливается.
Если теперь обратиться к рабочей памяти, то исходя из посылок что
«намерения – отдых» и