Интеллектуальные информационные системы. Дубровин А.Д. - 69 стр.

          3.1. ПРОДУКЦИОННАЯ МОДЕЛЬ ПРЕДСТАВЛЕНИЯ ЗНАНИЙ.

       Этот тип моделей представления знаний (ПЗ) получил свое названия в связи с тем, что он основан на
конструкциях, позволяющих использовать сочетания уже известных фактов (образующих ситуации или условия)
для получения новых знаний или ситуаций. Правила, на основании которых такие преобразования в конкретной
предметной области (ПО) имеют смысл, называются «производящими правилами» или «продукциями».
       Продукция представляет собой обусловленную опытом и (или) знаниями абстрактных истин причинно –
следственную конструкцию, состоящую их двух частей. Первая часть – это некоторая ситуация в предметной
области, описываемая с помощью абстрактных или конкретных знаний. В продукции она играет роль
утверждения или условия, снабженного некоторыми оценками истинности его компонентов. Эту часть
продукции принято называть антецедентом. Антецедент в продукции играет роль посылки, из которой на
основании истинных знаний (фактов), имеющихся в памяти системы, следует вторая часть продукции – вывод,
обусловленный истинностью посылки. Эта часть продукции называется консеквентом. Консеквент, как
следствие посылки, может представлять собой новую ситуацию или действие, приводящее к изменению
прагматики, парадигматики или синтагматики имеющихся знаний о сущностях ПО. В дальнейшем для простоты
изложения мы будем чаще применять термин «правило», как синоним термина «продукция».
       В продукционных моделях ПЗ правила выражаются канонической формулой:
                        «ЕСЛИ (антецедент) ТО (консеквент)».
       Продукционные модели ПЗ просты для понимания, поскольку отображают часто применяемые в жизни
методы и приемы обучения тому, чего человек, способный понять смысл описания этих приемов, не знал или не
умел ранее. Антецедент обычно имеет вид высказывание по поводу какого-либо факта или сочетание фактов,
содержащихся в базе знаний системы. Сочетание это может быть простым или сложным. Оно образуется с
помощью простейших логических операций - союзов «И», «ИЛИ» и отрицания «НЕ».
      Важно всегда иметь в виду, что консеквкнт – это вывод или действие над информацией, которое
предписывается сделать, если истинно утверждение, приведенное в антецеденте. Эти действия могу быть
завершающими или промежуточными. К завершающим действиям относятся, например, такие, как
формулировка заключения (вывода), логически следуемого из фактов, перечисленных в антецеденте, или
действие, которое следует совершить, (например, занесение в БЗ нового признака сущности ПО или выполнение
какого-либо вычисления). К промежуточным действиям можно отнести, например, использование консеквента
одного правила в качестве антецедента (условия) другого правила при формировании цепочки последовательно
применяемых правил.
       Таким образом, в процессе «работы» продукционной модели ПЗ может происходить изменение
содержания и декларативной, и процедурной компонент БЗ системы. Как правило, при этом происходит
увеличение декларативных, и процедурных знаний, но возможно и их сокращение (если консеквентом является
предписание, требующее исключить из БЗ ставшее неактуальным знание).
       Вот примеры продукций.
      Пример 1. ЕСЛИ («испытываешь жажду») ТО («выпей воды или съешь фрукт»).
      Пример 2.. ЕСЛИ («день солнечный» и «шторы на окнах подняты») ТО («следует выключить
искусственное освещение»).




                                                                                                     73