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

-1 находится (Чудовище, I, I), (4.36) -1 находится (Чудовище, 1, 2), (4.37) -, находится (Чудовище, 2, 1). (4.38) 72 4.1. Исчисление предикатов Шаг 4. В соответствии с правилом исключения квантора общности и формулой (4.15) получаем -I находится {Сквозняк, 1 ,1) з -i находится (Яма, 1, 2) л л -1 находится (Яма, 2, 1). (4.39) Шаг 5. В соответствии с формулами (4.4), (4.39) и правилом модус поненс получаем -. находится (Яма, 1, 2) л -i находится (Яма, 2, 1). (4.40) Ш а г 6. По (4.40) и правилу исключения коньюнюа получаем -1 находится (Яма, 1, 2), (4.41) -, находится (Яма, 2, 1). (4.42) Заметим, что поскольку ячеек хотя бы с одной нулевой координатой не существует, то соответствующие им предикаты не включены в формулы (4.39) и (4.40).