5.6. Использование графа переходов для поиска в пространстве состояний

В настоящей главе была рассмотрена взаимосвязь между языком, автоматом и средой. Язык — это множество последовательностей символов, в частности последовательностей действий агента. Постановка задачи поиска целевых состояний требует формулировки знаний о среде. Язык используется для формулировки этих знаний с явным или неявным упоминанием состояний среды. Язык может быть реализован автоматом. В этом случае автомат может рассматриваться просто как другая форма представления знаний. Более того, автомат то же можно рассматривать как язык, более наглядный и компактный в его графовом эквиваленте — дереве или графе переходов, особенно для представления знаний о простых средах. Объем требуемых исходных знаний и сложность поиска зависят от языка представления знаний. Автоматное представление знаний позволяет оптимизировать исходное представление знаний и даже упорядочивать их, как это видно из примера со средой кота. Граф на рис. 5.9 имеет почти линейную структуру, что позволяет без лишнего блуждания по дереву находить целевые состояния.

Рис. 5.9. Автомат М, построенный по множеству состояний классов