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

повернуться налево (2, 2), (4.96) находится (Агент, 2, 1), (4.97) ориентация (2, 2). (4.98) Шаг 47. В соответствии с формулой (4.21) и правилом исключения квантора общности получаем находится (Агент, 2, 1) л ориентация (2, 2) л л -1 находится (Чудовище, 2, 2) л -i находится (Яма, 2, 2) з z> перейти (2, 2) л находится (Агент, 2, 2) л ориентация (2, 3). (4.99) Шаг 48. В соответствии с формулами (4.9), (4.14), (4.97), (4.98), (4.90) и правилами исключения квантора общности, модус поненс и введения конъюнкции получаем находится (Агент, 2, 1) л ориентация (2, 2) л л -, находится (Чудовище, 2, 2) л -. находится (Яма, 2, 2). • (4.100) Заметим, что шаг 48 не является таким простым, как все остальные. Его детализацию предлагается выполнить самостоятельно. Шаг 49. В соответствии с формулами (4.100), (4.99) и правилом модус поненс получаем перейти (2, 2) л находится (Агент, 2, 2) л ориентация (2, 3). (4.101)