Основные недостатки логической модели знаний

Пример.

Пример.

Работает (Петр, ЭВМ) ® Оператор (Петр).

Разработал (Петр, программа) & (~ Работает (программа)) ®

Исправить (Петр, программа) Ú Передать (программа, Y).

Для утверждения истинности гипотезы на основе фактов, заданных в исходных данных (в базе данных), или на основе интерпретации значений переменных используются сложные правила. Мерой истинности переменных, используемых при доказательстве правила или сложного высказывания, являются кванторы общности и существования.

Квантор общности "(X) читается как «для всех Х» и определяет область «все». Квантор существования $(X) читается как «существует значение переменных Х» и определяется как «некоторые».

Примечание. Кванторы применяются только между высказываниями или отношениями. Использование логических операций между кванторами недопустимо.

"(X) $(Y) Руководит (Y, X) &отчитывается (X, Y).

"(Y) $(X) Руководит (Y, X) &отчитывается (X, Y).

Еще одним компонентом модели являются утверждения. На языке логики предикатов утверждения могут быть представлены:

· правилами, используемыми для доказательства;

· правилами вывода.

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

Различия между правилами доказательств и правилами вывода можно проиллюстрировать следующим образом.

пример.

правило:

"(X) Руководит (X, Y) ® отчитывается (Y, X).

правило вывода:

" (X, Y, Z) Руководит (X, Y) & Руководит (X, Z) ® отчитывается (Z, Y),

что позволяет вывести новое правило: Руководит (Y, Z).

Доказательство на языке логики предикатов происходит монотонно и аддитивно, т.е. рассуждения с помощью описания их предикатами не соответствуют мыслительной деятельности эксперта.

Аддитивность [< лат. additivus придаточный, добавочный] – свойство величин по отношению к сложению, состоящее в том, что значение величины, соответствующее целому объекту, равно сумме значений величин, соответствующих его частям, в некотором классе возможных разбиений объекта на части.

Монотонность в языке логики предикатов определяет последовательное применение всех правил в аксиомах. В результате этого одно из правил, как ожидается, должно привести к результату. Это неизменно, но не всегда приводит к результату.

Варьирование правилами – это форма, состоящая из основы и нескольких (не менее двух) изменённых воспроизведений (вариаций) правил. Вариационная форма взаимодействия правил возникает только при систематическом их применении, что недопустимо в рассматриваемой модели.

Дата добавления: 2014-12-29