Главная
Проблема исчисления предикатов
Процедура унификации
Отношения на функциях принадлежности
Неразрешимые алгоритмические проблемы МТ
Полнота и непротиворечивость
NP-полные (универсальные) задачи
Стандартизация услуг
Стандартизация и экология
Организационные и методические принципы сертификации в России
Программа сертификации
Метрологический надзор
Структура кристаллов
Судьбы крестьянские
Еще одна фальшивая ценность
Такая судьба
Соприкосновение с рынком
Мой театр, мои коллеги
Гастроли
И жизнь и слезы и любовь
Возвращение из Томска
Реклама:
|
|
Проблема исчисления предикатов
))?P(f1(x,y))?V(f1(x,y),e).
Области контрарности предикатов. Матрица M дает множество дизъюнктов. Теперь необходимо находить контрарные пары в этом множестве и использовать правило резолюций, до получения пустого дизъюнкта.
В ЛВ контрарные пары обладали тем свойством, что интерпретация давала в одном атоме истину, а во втором ложь: x и ?x. В ЛП атомы это предикатные символы, а интерпретация, это набор значений аргументов (термов) предикатного символа. Поэтому, во всех интерпретациях, в которых один предикат дает 1, а другой дает 0, два предиката являются контрарными атомами. Остается выбрать из множества дизъюнктов пары – претенденты на роль контрарных атомов, и определить интерпретации в которых пара предикатов контрарна. То ест
1
2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 |
