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

находится (Агент, 1, 1) л ориентация (2, 1) л л -1 находится (Чудовище, 2, I) л -, находится (Яма, 2, 1). • (4.80) Шаг 35. В соответствии с формулами (4.80), (4.79) и правилом модус поненс получаем перейти (2, 1) л находится (Агент, 2, 1) л ориентация (3, 1). (4.81) Шаг 36. В соответствии с формулой (4.81) и правилом исключения конъюнкта получаем перейти (2, 1), (4.82) находится (Агент, 2, 1), (4.83) ориентация (3, 1). (4.84) 77 4. Вывод в логике предикатов Шаг 37. В соответствии с формулами (4.83) и (4.9) и правилом модус поненс получаем находится {Сквозняк, 2,1). (4.85) Шаг 38. В соответствии с формулой (4.19) и правилом исключения квантора общности получаем находится {Сквозняк, 2, 1) г> находится {Яма, 2, 2) v v находится {Яма, 1, 1) v находится {Яма, 3, 1). (4.86)