9.Логическая модель представления знаний

Логические модели позволяют оценить сходимость логического вывода. Логическая модель может быть исследована на непротиворечивость знаний.

База знаний состоит из высказываний. Высказывание можно записать в виде фраз естественного языка

язык	Онтол вклад	Эпистем вклад
Пропозиц Логика	факты	Истина/ Ложь/ Неиз-но
Логика Исчеслен Предик-в 1-го пор-ка	Факты Об-ты Отн-я	Истина/ Ложь/ Неиз-но
Времен Логика	Факты Об-ты Отн-я Врем. Инт-л	Истина/ Ложь/ Неиз-но На вр инт
Вероятност Логика	Факты	Степень Достав-ти В инт [0;1]
Нечеткая логика	Факты Ст-ю Ист-ти [0;1]	Функц Прин-ти [0;1]

10

знания

запрос реш-е

11.

Библиотека

domains

autor, B_Name, D_izd, Izd= string

predicates

Book (Autor, B_Name, D_izd, Izd)

run

gool run

clauses

Book (“Достоевский”, “Преступление и наказание”, “2006”, “Просвещение”)

Book (“Достоевский”, “Идиот”, “2006”, “Просвет”)

Book (“Достоевский”, “Униженные и оскорбленные”, “2003”, “Мир”)

run:-Book (“Достоевский”, x,y,z)

write (“Книги Достоевского” x,y,z)

12. Продукционные модели и системы и вывод решений на их основе

Наиболее распространенной моделью представления правил в базах знаний является продукционная модель, в которой правило принятия решений формулируется как аксиома правил продукций. Продукционное правило есть выражение вида : "ЕСЛИ a, ТО p "; правила имеют левую часть (антецедент а) и правую часть (консеквент p). Левая часть является конъюнкцией элементарных выражений (условий), а правая - заключение, в общем случае представляющее собой сложную формулу, термами которой являются элементарные выражения, связанные логическими связками: И, ИЛИ, НЕ, ИМПЛИКАЦИЯ. Система правил продукций обладает достоинством автономности: она гибкая, обладает высокой модульностью и легко адаптируется к любым изменениям предметной области, для нее разработаны отлаженные механизмы логического вывода. С помощью правил продукций можно наглядно и удобно представить правила принятия решений. Такие правила удобны для реализации прямой цепочки логических выводов, идущих от фактов, описывающих критическую ситуацию, к цели - решению.

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

(i);Q;P;A=>B;N.

Здесь i-имя продукции; Элемент Q характеризует сферу применения продукции; Основным элементом продукции является ее ядро: А=>В

Обычное прочтение ядра продукции выглядит так: ЕСЛИ А, ТО В; Элемент Р есть условие применимости ядра продукции; Элемент N описывает постусловия продукции.

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