Искусственный интеллект

a v р, -1 р v у ha v у или эквивалентно -.аэр, РэуЬ-^агэу. В логике предикатов первого порядка она выглядит так же. Формулы а, Р, у в ней являются формулами этой логики. Введем по аналогии с обобщенным правилом модус понеис обобщенное правило резолюции, или обобщенную резолюцию: ос,"" (*,) v ... v a,,,0"-" (xM) v а*(х) v ажоСЖ) (*„.,) v ... v O.nu"(xJ, Р," (>,) v ... v Р,.^» (ум) v р*(ур v р^сИ) (зр v ... v р V (/, у) (а, ,= р; , с i * ej, Унификация (а* (х), р/ (у)) = S) Ь Подстановка (8 (а,01 (х,) v... vo^'-'i'^ vо.та^1){хт) v... vQ-J""(xJ v v p,<« (>;,) v... v ря«н>\уи) v $М<*Ч9М) v - ^" (УЯ)У-