Главная
Проблема исчисления предикатов
Процедура унификации
Отношения на функциях принадлежности
Неразрешимые алгоритмические проблемы МТ
Полнота и непротиворечивость
NP-полные (универсальные) задачи
Стандартизация услуг
Стандартизация и экология
Организационные и методические принципы сертификации в России
Программа сертификации
Метрологический надзор
Структура кристаллов
Судьбы крестьянские
Еще одна фальшивая ценность
Такая судьба
Соприкосновение с рынком
Мой театр, мои коллеги
Гастроли
И жизнь и слезы и любовь
Возвращение из Томска
Реклама:
|
|
Процедура унификации
Процедура, приведения двух атомов к общей области определения называется процедурой унификации. Эта процедура базируется на пяти возможных ситуациях взаимного расположения термов двух атомов. Фактически она уже описана выше, необходимо лишь формализовать ее.
Пусть P(t1,t2,…tn) и ?P(q1,q2,…qn) претендуют на роль контрарной пары. Составим множество пар термов T{t1/q1, t2/q2,…,tn/qn}. Из этого множества сформируем множество K – множество контрарности термов.
В множество K, необходимо на место исходных пар термов, записать итоговые термы, термы на которых будут определены оба предиката.
Возможные ситуации, возникающие при формировании множества K, уже были описаны:
Ti=x/y ® Ki=x/y, Ti=x/a ® Ki=a/a, Ti=x/f(…) ® Ki=f(…)/f
1
2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 |
