Добавил:
Upload
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз:
Предмет:
Файл:Лекции-презентации по математической логики / MLLect07
.pdfПравило резолюции в логике предикатов
В логике предикатов правило резолюции будет иметь следующий вид:
D1; D2
0 0 (R);
(D1 _ D2)sv
где D1, D2 предложения, в которых существуют унифицируемые контрарные литеры P1 и P2, т. е.
D1 = D10 _ P1, D2 = D02 _ P2, причём литеры P1 и P2 унифицируются наиболее общим унификатором sv.
Резольвентой предложений D1 и D2 по этому правилу является предложение (D01 _ D02)sv, полученное из предложения D01 _ D02 применением унификатора sv.
101 / 101
Соседние файлы в папке Лекции-презентации по математической логики