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

находится (Агент, 1, 2) л ориентация (1, 3) л л находится (Чудовище, 1, 3). (4.55) Шаг 18. В соответствии с формулами (4.54), (4.55) и правилом модус поненс получаем повернуться (1, 2) л находится (Агент, 1, 2) л ориентация (2, 2). (4.56) Шаг 19. В соответствии с формулой (4.56) и правилом исключения конъюнкции получаем повернуться (1, 2), (4.57) находится (Агент, 1, 2), (4.58) ориентация (2, 2). (4.59) Шаг 20. В соответствии с формулой (4.28) и правилом исключения квантора общности получаем находится (Агент, 1, 2) л ориентация (2, 2) л (находится (Чудовище, 2, 2) v v находится (Яма, 2, 2)) => повернуться (1, 2) л находится (Агент, 1, 2) л л ориентация (I, 1). (4.60) Шаг 21. В соответствии с формулами (4.53), (4.58), (4.59) и правилом введения конъюнкции получаем находится (Агент, 1, 2) л ориентация (2, 2) л