Глава 3. ПРЕДСТАВЛЕНИЕ ЗНАНИЙ И ВЫВОД РЕШЕНИЙ В ИИС. 3.1. Модели представления знаний

В [18] все модели представления знаний делятся на два типа – формальные логические и эвристические модели. Соответственно определяется логический и эвристический метод рассуждений в СОЗ.

Логические модели базируются на той или иной формальной системе (теории) . Наиболее известной является модель представления знаний на основе логики предикатов (исчисление предикатов первого порядка).

Одним из известных воплощений логической модели стал язык программирования Пролог (PROLOG), который как раз и создавался как язык логического программирования для интеллектуальных систем. Распространенные интерпретаторы языка Пролог можно рассматривать как аналог «пустой» ЭС, куда можно в рамках заданной модели знаний, по правилам, предлагаемым системой, заложить знания о фактах предметной области и отношениях между ними, т.е. создать свою базу знаний. Полученная в результате программа может с помощью БЗ выводить суждения об истинности или ложности некоторых гипотез. Так, если в БЗ есть записанное на формальном языке утверждение «Все студенты получат на экзамене по дисциплине «Проектирование информационных систем» оценку отлично», то эта БЗ может использоваться для проверки гипотезы о том, что «мой друг Василий Пупкин сдаст завтрашний экзамен». Для этого пользователь должен будет лишь сообщить системе, что В.Пупкин является студентом, а завтрашний экзамен есть экзамен по дисциплине «Проектирование информационных систем».

Подробнее об исчислении  предикатов можно прочитать в [1, 2, 11, 18], о языке Пролог и некоторых других реализациях логической модели в [11].

По-видимому, большее распространение в практике создания ИИС получили эвристические модели представления знаний. К их числу относятся:

- продукционная модель (правила продукций);

- сетевые модели и, в частности, семантические сети;

- фреймы и объектно-ориентированные модели знаний;

- ситуационная модель

и др.

В зависимости о того, какие знания представляются в моделях – декларативные или процедурные – различают декларативные, процедурные и смешанные модели знаний. В декларативных моделях знания о фактах и отношениях между ними отделены от процедур вывода над ними.  В процедурных – наоборот, представляются знания об операциях, действиях с фактами.

Так, логическая или продукционная модели основаны на представлении фактов и отношениях между ними. Эти модели являются, по сути, декларативными. Чисто процедурные модели, где знания представлены в виде  описания действий, процедур, в том числе вычислительных процедур, по-видимому, при создании БЗ не применяются. Больше распространены модели смешанного типа.  Так, объектно-ориентированная модель, как правило,  соединяет в себе декларативные и процедурные знания о некоторых объектах предметной области, их состояниях, особенностях поведения.

Рассмотрим более подробно основные модели представления знании.

Читать дальше:

3.2 Продукционная модель (правила продукций). ч.1