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

49 2. Логические рассуждения xH(2.2) А х„(2,2) л-,хч(2.3) А -*х„{2, хч(2,2))ц-\-,хч{21) л-,хч(1,2) л -ixvf3.2; л х„(2.1) л-,х„(1,2) л -лх^З.г) л -,хя12.3) 1х„(2,1> A xnf2,<; хя(3.1) \*\ ха(1,1)ух„<2.2) у хя(3,1) л xsr».*; *-,хч(2.1) л x4(2.2)v XJ1.3» л V».2J A 50 Рис. 2.4. Схема вывода решения в логике высказываний в среде чудовища Вопросы и упражнения В случае более сложной среды необходимо представить все возможные изменения местоположения других объектов, например чудовиша, в ответ на действия агента и для действия каждого такого объекта предусмотреть свои формулы. Занижая оценку, будем полагать, что число формул в среде с /ячейками равно примерно Is. Тогда при /= 5, 6, 7, ... это будут числа 3125, 7776, 16807... соответственно. Могут потребоваться также правила, учитывающие предысторию действий агента. Все это может привести к огромному числу формул, для хранения которых потребуется такой большой объем памяти, которой может не хватить даже на современных компьютерах. Кроме того, сама постановка задачи, требующая записи такого огромного числа формул, может стать практически невыполнимой задачей. В то же время многие реальные задачи часто, несмотря на большое число переменных, могут иметь сравнительно небольшое количество формул в постановке задачи и достаточно успешно решаться с использованием логики высказываний. К числу таких задач, например, относятся задачи анализа логических схем.