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

если там его не подстерегает опасность в виде чудовища или ямы. Поэтому общий вид импликаций, определяющих возможность совершения действия по переходу в соседнюю ячейку, является следующим: >ф, Л Л xn(i, у) л -t xH(i, у+1) л -, xK{i, у+1) => zm, xH(i, Л A xs(/, у) л -, x4(i, j-1) л -, xK(i, j-1) => zm, Q 6) *„('» Л A xe(i, j) л -t хч(/+1, j) л -, хя(/+1, у) з гт, ^„(', у) A xu(i, Л А -. хч(/-1, у) л -, дс„(1-1, у) з гм. Одна из конкретных импликаций этого типа для перехода была введена ранее (см. (2.1)). Число формул вида (2.6) равно 64. Соответственно, возможные изменения интервалов (состояний среды), осуществляемые в результате действия, связанного с переходом, задаются формулами