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

хн(2, 3) л х6(2, 3), хн(2, 3) л х6(2, 3) z> г, h г,- Схема, позволяющая проследить вывод решения для среды чудовища, показана на рис. 2.4, где формулы вида а з р изображены двумя жирными прямоугольниками, соединенными жирной стрелкой. Внутри первого прямоугольника записана формула а, а внутри второго — формула р. Стрелка направлена от первого прямоугольника ко второму и соответствует знаку импликации. Если в жирный прямоугольник с формулой Р входят две жирные скобки, выходящие из прямоугольников с формулами а, и а2, то это соответствует импликации а, л а^ з р. 2.4.3. Число формул в логике высказываний, требуемых для представления знаний Нетрудно заметить, что число формул, требуемых для постановки задачи, растет довольно быстро, хотя среда чудовища имеет всего 16 ячеек и все ее объекты, кроме агента, не изменяют своего местоположения: Так, число формул типа (2.4) равно 32, (2.5) - 16, (2.6) - 64, (2.7) - 16, (2.8) - 16, (2.9) - 128, (2.10) - 16, (2.11) - 128, (2.12) - 16, (2.13) - 32, (2.14) - 32, что в сумме составляет 496.