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

V (i, у) находится {Агент, i, у) л ориентация (/-1, у) л л -1 находится {Чудовище, /-1, у ) л -• находится {Яма, /-1, у) з з перейти (/-1, у) л находится {Агент, /-1, у) л ориентация {i-2, у), (4.22) V (/, у) находится {Агент, /, у") л ориентация (/+1, у) л л -> находится {Чудовище, Ж, у ) л -, находится {Яма, /+1, у ) з з перейти (/+1, у) л находится {Агент, /+1, у) л ориентация (/+2, у), (4.23) V (/, у) находится {Агент, i, у) л находится {Блеск, i, у) з ^ взять (/, у), (4.24) 70 4.1. Исчисление предикатов V (i, у) находится (Агент, i, j) л ориентация (i, у-1) л л (находится (Чудовище, i, у-1) v находится (Яма, i, у-1) v v находится (Препятствие, i, j -1)) => повернутьсянаправо (i, у") л л находится (Агент, i, у) л ориентация (/-1, у), (4.25) V (/, у) находится (Агент, i, у ) л ориентация (/-1, у) л л (находится (Чудовище, i-l, у ) v находится (Яма, /-1, у) v