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

повернуться_нааево (1, 1) л находится (Агент, 1, 1) л л ориентация (2, 1). (4.75) Шаг 32. В соответствии с формулой (4.75) и правилом исключения конъюнкта получаем повернутьсяналево (1, 1), (4.76) находится (Агент, 1, 1), (4.77) ориентация (2, 1). (4-78) Шаг 33. В соответствии с формулой (4.23) и правилом исключения квантора общности получаем находится (Агент, 1, 1) л ориентация (2, 1) л л -I находится (Чудовище, 2, 1) л -¦ находится (Яма, 2, 1) з з перейти(2, 1) л находится (Агент, 2, 1) л ориентация (3, 1). (4.79) Шаг 34. В соответствии с формулами (4.77), (4.78), (4.38), (4.42) и правилом введения конъюнкции получаем