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

41 2. Логические рассуждения Формулы, определяющие условия местонахождения объектов среды. Если в какой-либо ячейке (i,j) не ощущается зловония, то в соседних ей ячейках чудовища нет. Точно так же, если в какой-либо ячейке нет сквозняка, то в соседних ячейках нет ям. Импликации, с помощью которых можно выразить эти знания, в общем случае имеют следующий вид. /, у) => -. х (/, у) л -, х (/-1, У) л -. хч(/+1, У) л -, хч(/, у-1) л -. хч(/, у+1) -, XQ(i, у) => -. *,(/, у) л -, ДС„(М, у) л -, ДСя(/ + 1, У) л -, дся(/, у-1) л -,*„(/, у + 1). (2.4) Для крайних ячеек вследствие отсутствия части соседних правая часть подобных формул может не содержать каких-либо конъюнкций. Так, для i = 1, у = 1 эта формула примет вид