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

Шаг 7. В соответствии с формулами (4.1), (4.2), (4.37), (4.41) и правилом введения конъюнкции получаем находится (Агент, 1, 1) л ориентация (1, 2) л л -, находится (Чудовище, 1, 2) л -i находится (Яма, 1, 2). (4.43) Шаг 8. В соответствии с формулой (4.21) и правилом исключения квантора общности получаем находится (Агент, 1, 1) л ориентация (1, 2) л л -. находится (Чудовище, I, 2) л -¦ находится (Яма, 1, 2) з => перейти(\, 2) Я находится (Агент, 1, 2) л ориентация (1, 3). . (4.44) Шаг 9. В соответствии с формулами (4.43), (4.44) и правилом модус поненс получаем перейти (1, 2) л находится (Агент, 1, 2) л ориентация (1, 3). (4.45) Шаг 10. В соответствии с формулой (4.45) и правилом исключения конъюнкта получаем перейти (1, 2), (4.46) находится (Агент, 1, 2), (4.47) ориентация (1, 3). (4.48) 73 4. Вывод в логике предикатов Шаг И. В соответствии с формулами (4.47), (4.8) и правилом мод; поненс получаем