Объединяя эти два правила, мы получим следующее высказывание в форме двусторонней импликации:

(8.3)

• Причинные правила

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

А если во всех квадратах, соседних по отношению к данному конкретному квадрату, нет ям, то в данном квадрате не чувствуется ветерка:

Приложив определенные усилия, можно показать, что эти два высказывания, вместе взятые, логически эквивалентны высказыванию с двусторонней импликацией, приведенному в уравнении 8.3. Это высказывание с двусторонней импликацией само может также рассматриваться как причинное, поскольку показывает, каким образом вырабатывается истинностное значение предиката Breezy по данным о состоянии мира.

Системы, в которых логические рассуждения формируются с помощью причинных правил, называются системами формирования рассуждений на основе модели, поскольку причинные правила образуют модель того, как действует среда. Различие между рассуждениями на основе модели и диагностическими рассуждениями является важным для многих областей искусственного интеллекта. В частности, одной из активных областей исследования остается медицинская диагностика, и в ней подходы, основанные на прямых ассоциациях между симптомами и заболеваниями (диагностический подход), постепенно вытесняются подходами, в которых используются явно заданные модели заболеваний и данные о проявлениях этих заболеваний в виде симптомов. Мы вернемся к этой теме в главе 13.

Какой бы тип представления не использовался в агенте, если аксиомы правильно и полно описывают способ функционирования мира и способ выработки восприятий, то любая полная процедура логического вывода позволяет получить наиболее сильное возможное описание состояния мира при наличии всех доступных восприятий. Благодаря этому проектировщик агента получает возможность сосредоточиться на решении задачи получения правильных знаний, не слишком заботясь о том, как должны быть организованы процессы логического вывода. Кроме того, в данном разделе было показано, что логика первого порядка позволяет представить мир вампуса не менее кратко, чем первоначальное описание на естественном языке, приведенное в главе 7.