Проблема согласования контрарных пар.

↑

▷ Содержание

⇐ ПредыдущаяСтр 3 из 6Следующая ⇒

Проблема согласования контрарных пар.

В логике предикатов при получении резольвенты возникают трудности в связи с согласованием контрарных пар: Пусть:

 истина, где:

: (P(x) Vù R(x)) – истина

: (ù P(а) V Q(x)) – истина

ù P(b) V Q(x) – ложь

Из  не следует, что ) истина, т.е.

) - не резольвента. Резольвента: , т.е. ) резольвента только при x=a.

Подстановка. Переменная активная для подстановки. 

Подстановкой называют некоторую функцию, которая ставит в соответствие некоторому множеству V множество термов T.

V – множество переменных

:    -функция

Множества равны соответственно

 и

Переменная Х(X V) активная для подстановки, если  X. В данном примере активной является Х.

Элементарная подстановка.

Подстановка называется элементарной, если в ней имеется только одна активная переменная. Подстановка  является элементарной.

Применение подстановки к логическому выражению.

Применение подстановки  к выражению Е состоит в замене всех вхождений переменных Х (X V) термом . Результат подстановки обозначается . Выражение  называется конкретизирующим выражение Е.

Унификатор.

Множество {  литералов называется унифицируемым, если существует такая подстановка , что

В этом случае подстановку называют унификатором для {  .

11. Правила унификации термов. Унификация атомов. Схемы алгоритмов унификации.

Познавательные статьи:



Формы дистанционного обучения

Передача мяча двумя руками снизу

Значение правильной осанки для жизнедеятельности человека

Основные ошибки при выполнении передач мяча на месте