Главная
Проблема исчисления предикатов
Процедура унификации
Отношения на функциях принадлежности
Неразрешимые алгоритмические проблемы МТ
Полнота и непротиворечивость
NP-полные (универсальные) задачи
Стандартизация услуг
Стандартизация и экология
Организационные и методические принципы сертификации в России
Программа сертификации
Метрологический надзор
Структура кристаллов
Судьбы крестьянские
Еще одна фальшивая ценность
Такая судьба
Соприкосновение с рынком
Мой театр, мои коллеги
Гастроли
И жизнь и слезы и любовь
Возвращение из Томска
Реклама:
|
|
Проблема исчисления предикатов
которой атомами являются предикаты. Q1…Qi…Qn называется префиксом, а М – матрицей формулы F. Ниже представлены соотношения, позволяющие любую формулу ЛП приводить к ПНФ. Для перевода в ПНФ необходимо:
перенести все кванторы в начало формулы.
представить M в виде КНФ.
Эквивалентные преобразования ЛП. Для переноса кванторов потребуются соотношения, которые рекомендуется доказать самостоятельно.
Qx[F(x)]*G=Qx[F(x)*G], (3.3)
Это соотношение позволяет расширять зону действия квантора Q, связывающего переменную x. При условии, что формула G, попадающая в зону влияния квантора Q, не содержит переменной x, квантор “проносят” через операцию *, где * – конъюнкция или дизъюнкция.
Если же G содержит x, то применима фор
1
2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 |
