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

v -i находится (Чудовище, i-l, j) v повернуться^налево (i, j); (4.30)* -, находится (Агент, i, j) v -• ориентация (i, j+l) v v -. находится (Чудовище, i, j+l) v повернуться_налево (i, j); (4.31)* -. находится (Агент, i, j) v -. ориентация (i+l, j) v v -i находится (Чудовище, i+l, j) v повернуться^ налево (i, j). (4.32)* Применение обобщенного правила модус поненс вследствие того, что в нем используются не отдельные атомы, а их конъюнкции, делает вывод более эффективным. Это объясняется тем, что подстановка одних и тех же 88 4.2. Прямой и обратный вывод констант осуществляется сразу для совокупности атомов, входящих в конъюнкцию левой части импликации и, если необходимо, то правой.