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

л находится (Агент, i, у) л ориентация (/,.у+1). (4.32) Формула цели: 3 (/, у) взл/яь (/, у). (4.33) 4.1.2. Вывод Рассмотрим подробно вывод с использованием правил исключения квантора общности, конъюнкта и введения конъюнкции. Вывод разобьем на шаги, на каждом из которых будем применять только одно из перечисленных правил, а в результате получать новую формулу. Шаг 1. В соответствии с правилом исключения квантора общности и формулой (4.14) получаем -, находится (Зловоние, 1, 1) z> -i находится (Чудовище, I, 1) л л -1 находится (Чудовище, 1, 2) л -• находится (Чудовище, 2, 1). (4.34) Шаг 2. В соответствии с формулами (4.3), (4.34) и правилом модус поненс получаем -1 находится (Чудовище, 1, 1) л -, находится (Чудовище, 1, 2) л л -1 находится (Чудовище, 2, 1). (4.35) Шаг 3. В соответствии с формулой (4.35) и правилом исключения конъюнкта получаем