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

внутренними состояниями Ь\, Ь\, ..., Ь'к автомата Л/,. Для каждого действия а е А и каждого класса эквивалентности (? такого , что Qa с Qp построить на графе переходов автомата дугу (b'r Ь% Дополнить полученный граф переходов отметкой каждой вершины Ь\ значением функции q>(?|). Перейти к следующему пункту; ж) конец. 5.3. Описание автомата на языке логики предикатов Рассмотренное в примере множество последовательностей действий S можно представить в виде дерева, показанного на рис. 5.2. Подобное дерево мы уже строили при рассмотрении среды кота (см. рис. 2.1). Однако делали мы это во второй главе, будучи еще незнакомыми с логикой предикатов. Теперь мы можем воспользоваться ее возможностями для постановки задачи нахождения последовательностей действий, ведущих в целевые состояния. Напомним, что в главе 2 постановкой задачи называется задание всех состояний и действий, которые могут использоваться для решения задачи, начального состояния и целевых состояний, а также всех допустимых переходов между состояниями при выполнении соответствующих действий. Введем следующие атомы.