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

V (I, у) хн(/, у) л x6(i, у) з г,, (3.2) где знак V называется квантором общности. Но в этой формуле хн(/, у), х6(/, у) и ^ уже не являются логическими переменными. Здесь хн, хс, г, — предикатные символы, вид которых для удобства сохранен тем же, что и в логических переменных, а /, у — числовые объектные переменные, соответствующие координатам ячеек. На естественном языке это правило формулируется следующим образом: "Для всех ячеек с координатами (/, j) справедливо: если агент находится в ячейке с координатами (/, у ) и видит в ней блеск золота, то он должен его взять". Смысл квантора общности V совпадает с выражением естественного языка "Для всех...". Множество формул (3.1) логики высказываний эквивалентно одной формуле (3.2) логики предикатов, т.е имеет место (V (I. у) хн(/, у) А х6(/, у) з г,) = (хн(1,1) А х6(1, 1) з z3) А (хн (1,2) А А х6(1, 2) з гз) А (хн (4, 4) А хб(4, 4) з гз). Квантор существования 3. Квантор общности позволяет формулировать высказывания о свойствах целого множества объектов. В то же время часто возникает необходимость высказываться о свойствах отдельных объектов из какой-либо их совокупности. Для этого используют квантор существования 3. Вернемся к примеру со средой чудовища. Во второй главе для того, чтобы выразить знания о наличии чудовища в ячейках, соседних ячейке с координатами (/,у), если в ней ощущается зловоние, было введено 16 формул (2.5), в которых индексы /, у пробегают множество значений от 1 до 4. Вместо этих 16 формул с помощью квантора общности можно записать одну формулу, помня, что теперь вместо логических переменных используются предикаты, а индексы стали числовыми объектными переменными: