Продукционные модели. База фактов. База правил. Работа машины вывода

Продукционная модель знания — модель, основанная на правилах, позволяет представить знание в виде предложений типа «Если (условие), то (действие)».

Продукционная модель — фрагменты Семантической сети, основанные на временных отношениях между состояниями объектов.

Продукционная модель обладает тем недостатком, что при накоплении достаточно большого числа (порядка нескольких сотен) продукций они начинают противоречить друг другу.

Машина вывода — программа, которая выполняет логический вывод из предварительно построенной базы фактов и правил в соответствии с законами формальной логики.

Факт в данном случае — утверждение, являющееся постоянно истинным. Имеет вид «А есть А».

Правило в данном случае — параметризованное утверждение, состоящее из двух частей: условия и результата. Имеет вид «Если А, то В». Для построения базы фактов и правил применяются формальные языки, обычно напоминающие естественный язык, но гораздо более строгие и ограниченные.

Машина вывода обычно может выполнять одну или обе из следующих операций:

1. Проверка истинности некоторого факта — истинным считается факт, если он может быть выведен по законам формальной логики из имеющейся базы фактов и правил.

2. Нахождение множества значений параметра некоторого правила, при котором данное правило превращается в истинный факт.

В первом случае на вопрос типа «Истинно ли A?» машина вывода даёт ответ «Да» либо «Нет», во втором — на вопрос типа «При каких X истинно правило A(X)?» машина вычисляет все возможные значения X, при подстановке которых в правило A это правило превращается в истинный факт.

Семантические сети. Виды отношений. Пример семантической сети.

Семантическая сеть – это ориентированный граф, вершины которого – понятия, а дуги – отношения между ними.

Типы отношений:

- класс – элемент класса (цветок - роза);

- Свойство – значение (цвет - желтый);

- пример элемента класса (роза - чайная).

Наиболее часто в семантических сетях используются следующие отношения:

- связи типа «часть – целое»

- функциональные связи (определяемые глаголами «производит», «влияет»…)

- количественные (больше, меньше, равно)

- пространственные (далеко от, близко от)

- временные (раньше, позже)

- атрибутивные связи (иметь св-во, иметь значение)

- логические (и, или, не)

- лингвистические связи и др.