Начнем с описания агента, который рассуждает логически о том, где находятся ямы, вампусы и безопасные квадраты. Агент начинает свою работу с базы знаний, в которой описаны "законы" мира вампуса. Он знает, что квадрат [1,1] не содержит яму или вампуса; это означает, что. Для каждого квадрата [х,у] агенту известно высказывание с указанием того, как возникает ветерок:

(7.1)

Для каждого квадрата [х, у] агенту известно высказывание с указанием того, как возникает неприятный запах:

(7.2)

Наконец, он знает, что в мире вампуса существует точно один вампус. Соответствующее высказывание состоит из двух частей. Прежде всего необходимо указать, что имеется самое меньшее один вампус:

Затем необходимо указать, что существует самое большее один вампус. Один из способов формулировки этого утверждения состоит в том, что при наличии любых двух квадратов один из них обязательно должен быть свободным от вампуса. При наличии η квадратов мы получаемтаких высказываний, которые подобны по форме высказываниюТаким образом, для мира с размерами

4x4 описание начинается с общего количества 155 высказываний, содержащих 64 различных символа.

Программа агента, приведенная в листинге 7.9, сообщает в свою базу знаний с помощью операции Tell о каждом новом восприятии ветерка и неприятного запаха. (Она также обновляет некоторые обычные программные переменные для слежения за тем, где находится агент и где он побывал; дополнительная информация об этом приведена ниже.) Затем программа выбирает среди периферийных квадратов (т.е. квадратов, являющихся соседними по отношению к тем, которые уже посетил агент) такой квадрат, который должен быть проверен в следующую очередь. Агент может доказать, что периферийный квадрат [i, j] безопасен, если из базы знаний следует высказывание. На втором месте по своей привлекательности находится квадрат, который, возможно, является безопасным; таковым является квадрат, применительно к которому агент не может доказать, что в нем имеется яма или вампус, т.е квадрат, для которого из базы знаний не следует высказывание