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

находится (Чудовище, 1, 3) v находится (Чудовище, 2, 2). (4.53 Чудовище только одно и поэтому только один из предикатов в формуле (4.5! должен быть истинным. Определить, однако, какой из них истинен, агент v может. Поэтому попытаемся сформулировать действия, которые, находясь ячейке (2, 1), агент может совершать в предположении, что чудовище мож< быть в любой из двух ячеек (1,3) или (2, 2). Шаг 16. В соответствии с формулой (4.27) и правилом исключени квантора общности получаем находится (Агент, 1, 2) л ориентация (1, 3) л л находится (Чудовище, 1, 3) z> повернутьсянаправо (1, 2) л л находится (Агент, 1, 2) л ориентация (2, 2). (4.54 74 4.1. Исчисление предикатов : Ш а г 17. В соответствии с формулами (4.47), (4.48), (4.53) и правилом введения конъюнкции получаем