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