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

находится (Агент, 1, 1) л ориентация (1, 0) л л (находится (Препятствие, I, 0) v находится (Чудовище, 1, 0) v v находится (Яма, 1, 0)) z> повернуться_налево (1, 1) л л находится (Агент, 1, 1) л ориентация (2, 1). (4.73) 76 4.1. Исчисление предикатов Шаг 30. В соответствии с формулами (4.70), (4.71), (4.72) и правилом введения конъюнкции получаем находится (Агент, 1, 1) л ориентация (1, 0) л л находится {Препятствие, 1, 0). (4.74) Шаг 31. В соответствии с формулами (4.73), (4.74) и правилом модус поненс получаем