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

v -, свободен (5); (4.185) 100 4.4. Вывод на основе правила резолюции свободен (А): -1 на (А, у) v -1 переместить (А, Стол) v -. свободен (В); -| на (D, В) v -1 свободен (D) v -i переместить (Р. Стол) v v свободен (В); -х на (Д. В) v -1 свободен (D) v переместитьJР. Стол): -, на (Р, B)v-, свободен (Р) v свободен (В); -1 на (Р, В) v -1 свободен (Р) v свободен (В); свободен (Р): -1 но (Д fi) v свободен (В); -. на (Р, В) v свободен (В); т (А 5); свободен (В); свободен (В); -1 свободен (В); Ml. (4.186) (4.187) (4.188) (4.189) (4.190) (4.191) (4.192) (4.193) (4.194) (4.195) (4.196) (4.197) (4.198) (4.199) 101 4. Вывод в логике предикатов 4.4.3. Преобразование произвольной формулы логики предикатов первого порядка в клаузальную форму Применение обобшенного правила резолюции требует представления формул в клаузальной форме. В этом разделе покажем, с помощью каких эквивалентных преобразований любая произвольная формула логики предикатов первого порядка может быть преобразована в клаузальную форму. Процедуру преобразования представим в виде отдельных шагов.