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