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

находится {Яма, 3, I). (4.92) Шаг 43. В соответствии с формулой (4.30) и правилом исключения квантора общности получаем находится {Агент, 2, 1) л ориентация (3, 1) л л находится {Яма, 3, 1) з повернутьсяналево (2, 2) л л находится {Агент, 2, 1) л ориентация (2, 2). (4.93) 78 4.1. Исчисление предикатов Шаг 44. В соответствии с формулами (4.92), (4.83), (4.84) и правилом введения конъюнкции получаем находится (Яма, 3, 1) л находится {Агент, 2, 1) л л ориентация (3, 1). (4.94) Шаг 45. В соответствии с формулами (4.94), (4.93) и правилом модус поненс получаем повернутъся_налево (2, 2) л находится (Агент, 2, 1) л л ориентация (2, 2). (4.95) Шаг 46. В соответствии с формулой (4.95) и правилом исключения конъюнкта получаем