Напомним, что цель логического вывода состоит в том, чтобы определить, является ли истинным выражениедля некоторого высказывания а. Например, следует ли из базы знаний высказывание? Рассматриваемый в данном разделе первый алгоритм логического вывода представляет собой непосредственную реализацию на практике определения логического следствия: перебрать (перечислить) все модели и проверить, является ли высказывание а истинным в каждой модели, в которой база знаний KB является истинной. Для пропозициональной логики модели представляют собой варианты присваивания значений true или false каждому пропозициональному символу. Возвратившись к примеру с миром вампуса, определим, что соответствующими пропозициональными символами являются, . При наличии семи символов могут существовать возможных моделей; в трех из них база знаний KB является истинной (табл. 7.2). В этих трех моделях является также истинным высказывание, поэтому в квадрате [1,2] нет ямы. С другой стороны, высказываниеистинно в двух из трех моделей и ложно в одной из них, поэтому мы еще не можем определить, имеется ли яма в квадрате [2,2].

Таблица 7.2. Истинностная таблица, которая сформирована для базы знаний, определенной в тексте главы. База знаний KB является истинной, если истинны высказывания, а это происходит только в 3 из 128 строк. Во всех 3 строках высказываниеложно, поэтому в квадрате [1,2] нет ямы.

С другой стороны, яма в квадрате [2,2 ] может быть (или не быть)