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

V (I, у) xjii, j) з хч(/, j) v хч(/-1, у) v хч(/ +1, у) v хч(/, у-1) v хч(/, у +1). (3.3) На естественном языке высказывание, соответствующее этой формуле, звучит так: "Для всех ячеек с координатами (/,у) справедливо: если ощущается зловоние в ячейке с координатами (/, у), то существует ячейка, соседняя ячейке с 56 3.1. Синтаксис и семантика координатами (i,j), в которой находится чудовище". Для того чтобы выразить часть этого высказывания "...существует ячейка, соседняя ячейке с координатами (/, j), в которой находится чудовище" в логике высказываний были использованы формулы (2.5), в которых справа от знака импликации стоит дизъюнкция пяти логических переменных. В логике предикатов имеется возможность более короткой записи этой части высказывания с использованием квантора существования 3: