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

60 3. Логика предикатов Факты, определяющие начальные местоположения объектов. Начальная ситуация показана на рис. 2.3 и с учетом введенных термов и атомов может быть представлена формулой находится (Агент, 1,1) л ориентация (1,2) л л -1 пахнет (1,1) л -i сквозит (1, 1). Правила, определяющие условия местонахождения объектов среды. Как и прежде, если в какой-либо ячейке не ощущается зловония, то в соседних ей ячейках чудовища нет. Точно так же, если в какой-либо ячейке нет сквозняка, то в соседних ячейках нет ям. Импликации, с помощью которых можно выразить эти знания, теперь приобретают следующий вид: V (', У) -1 пахнет (/, j) => -i находится (Чудовище, g, Л) л