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

находится (Агент, 2, 2) л ориентация (2, 3) л л -1 находится (Чудовище, 2, 3) л -i находится (Яма, 2, 3) з з перейти (2, 3) л находится (Агент, 2, 3) л ориентация (2, 4). (4.119) Шаг 59. В соответствии с формулами (4.103), (4.104), (4.111), (4.116) и правилом введения конъюнкции получаем находится (Агент, 2, 2) л ориентация (2, 3) л л -1 находится (Чудовище, 2, 3) л -• находится (Яма, 2, 3). (4.120) Шаг 60, В соответствии с формулами (4.120), (4.119) и правилом модус поненс получаем перейти (2, 3) л находится (Агент, 2, 3) л ориентация (2, 4). . (4.121) Шаг 61. В соответствии с формулой (4.121) и правилом исключения конъюнкта получаем перейти (2, 3), (4.122) находится (Агент, 2, 3), (4.123) ориентация (2, 4). (4.124)