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

хс(2, 1)зх(1, 1)УХЯ(2,2)УХ(3, 1), правило модус поненс и простую резолюцию, заключает, что в ячейке (3, 1), к которой он стоит лицом, имеется яма (хя(3, 1) истинна). Отсюда на основании правил типа (2.11) хн(2, 1) л хе(2, 1) л хя(3, 1) л -. хч(2, 2) л -. хя(2, 2) => ^, хн(2, 1) л х/2, 1) л х„(3, 1) л -. хч(2, 2) л -. х„(2, 2) л г.,3 х„(2, 1) л хя(2, 1), а затем правил (2.6), (2.7) хн(2, 1) л х„(2, 1) л -. хч(2, 2) л -, х„(2, 2) э ^, хн(2, 1) л хя(2, 1) л -, хч(2, 2) л -. х„(2, 2) л zm => хн(2, 2) л х„(2, 2) агент сначала совершает поворот в сторону ячейки (2, 2), а затем и переходит в нее. В ячейке (2, 2) на основании формул (2.14) хн(2, 2) з ^ хс(2, 2), хн(2, 2) э ^ хз(2, 2) он обнаруживает, что в ней нет ни зловония, ни сквозняка (истинны формулы ^хз(2, 2), ^хс(2, 2)). Далее по формулам (2.4), правилам модус поненс и исключения конъюнкта он устанавливает, что чудовища и ямы в ячейке (2, 3) также нет (истинны формулы ^ хч(2, 3), -, х„(2, 3)):