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

v находится (Яма, i, y + 1) v находится (Яма, i-l, у) v v находится (Яма, i + l, у), (4.19)* С помощью преобразования as\P/\-,%A удаления квантора существования и правила исключения конъюнкта получаем следующие формулы: -¦ находится (Агент, i, у) v -¦ ориентация (/, у-1) v 86 4.1. Исчисление предикатов v находится (Чудовище, i, j-l) v находится (Яма, i, j-l) v v перейти (i, y'-l); -i находится (Агент, i, j) v -i ориентация (i, J-l) v v находится (Чудовище, i, j-l) v находится (Яма, i, j-l) v (4.20)* v находится (Агент, i, j-l); -i находится (Агент, i, j) v -i ориентация (i, j-l) v v находится (Чудовище, i, j-l) v находится (Яма, i, j-l) v v ориентация (i, j-2). Число подформул в системе формул (4.20)* совпадает с числом литералов вследствие импликативной формулы (4.20) и различаются они только последним литералом. Поэтому для остальных формул (4.21)* — (4.23)* выпишем только первую подформулу: