На основании того факта, что в квадрате [1,1] не было ни неприятного запаха, ни ветерка, агент может сделать вывод, что квадраты [1,2] и [2,1] свободны от опасности. Для указания этого они отмечены обозначением ОК. Осторожный агент переходит только в такой квадрат, о котором известно, что в нем есть отметка ОК Предположим, что агент решил двинуться вперед, в квадрат [2,1], и была создана сцена, показанная на рис. 7.2, б.

Агент обнаруживает ветерок в квадрате [2,1], поэтому в одном из соседних квадратов должна быть яма. По правилам игры яма не может находиться в квадрате [1,1], поэтому она должна быть в квадрате [2,2], или [3,1], или в том и другом. Обозначение Р? на рис. 7.2, б указывает на возможность наличия ямы в этих квадратах. В данный момент известен только один квадрат с отметкой ОК, который еще не был посещен. Поэтому благоразумный агент поворачивается кругом и возвращается в квадрат [ 1,1 ], а затем переходит в квадрат [1,2].

Новым восприятием в квадрате [1,2] является [ Stench, None, None, None, None], что приводит к состоянию знаний, показанному на рис. 7.3, а. Наличие неприятного запаха в квадрате [1,2] означает, что где-то рядом есть вампус. Но вампус не может находиться в квадрате [1,1] по правилам игры и не может быть в квадрате [2,2] (поскольку агент обнаружил бы неприятный запах, находясь в квадрате [2,1]). Поэтому агент может сделать вывод, что вампус находится в квадрате [1,3]. На это указывает обозначение W!. К тому же из отсутствия восприятия Breeze в квадрате [1,2] следует, что в квадрате [2,2] нет ямы. Тем не менее мы уже пришли к выводу, что яма должна быть в квадрате [2,2] или [3,1], а это означает, что она действительно находится в квадрате [3,1]. Это — весьма сложный логический вывод, поскольку в нем объединяются знания, полученные в разное время в различных местах, и в нем решение о выполнении важного шага сделано на основании отсутствия определенного восприятия. Такой логический вывод превосходит способности большинства животных, но является типичным для рассуждений такого рода, которые выполняются логическими агентами.