2.4.3. Число формул в логике высказываний, требуемых для представления знаний

<< Предыдущий параграф

Следующий параграф >>

<< Предыдущий параграф

Следующий параграф >>

Пред.

След.

Вернуться к книге

Макеты страниц

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

Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике

2.4.3. Число формул в логике высказываний, требуемых для представления знаний

Нетрудно заметить, что число формул, требуемых для постановки задачи, растет довольно быстро, хотя среда чудовища имеет всего 16 ячеек и все ее объекты, кроме агента, не изменяют своего местоположения: Так, число формул типа (2.4) равно что в сумме составляет 496.

(кликните для просмотра скана)

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