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

л находится (Чудовище, 2, 2). (4.61) Шаг 22. В соответствии с формулами (4.60) (4.61) и правилом модус поненс получаем повернуться (1, 2) л находится (Агент, 1, 2) л ориентация (1, 1). (4.62) Шаг 23. В соответствии с формулой (4.62) и правилом исключения конъюнкта получаем повернуться (1, 2), (4.63) находится (Агент, 1, 2), (4.64) ориентация (1, 1). (4.65) 75 4. Вывод в логике предикатов Шаг 24. В соответствии с формулой (4.20) и правилом исключения квантора общности получаем находится (Агент, 1, 2) л ориентация (1, 1) л л -I находится (Чудовище, 1, 1) л -i находится (Яма, 1, 1) =э з перейти (1,1) л находится (Агент, 1,1) л ориентация (1, 0). (4.66) Шаг 25. В соответствии с формулами (4.5), (4.36), (4.64), (4.65) и правилом введения конъюнкции получаем находится (Агент, 1, 2) л ориентация (1, 1) л л -I находится (Чудовище, 1, 1) л -. находится (Яма, 1, 1). (4.67)