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

112 5.3. Описание автомата на языке логики предикатов Рис. S.2. Дерево последовательностей действий Атомы действий для дерева: действие (а,), действие (а2), действие (аъ). Эти атомы истинны, если совершается соответствующее действие, находящееся в скобках. Атомы состояний для дерева: состояние (bt), состояние (Ь7), состояние (Ь2), состояние (Ь&), состояние (Ьг), состояние (Ь9), состояние (Ь4), состояние {Ьп), состояние (bs), состояние (btl), состояние (Ь6), состояние (bl2). Эти атомы истинны, если среда находится в соответствующем состоянии. Формулы переходов между состояниями для дерева. Дерево на рис. 5.2 содержит 11 переходов между состояниями, каждый из которых происходит при осуществлении соответствующего действия. Переходы описываются импликациями: состояние (?,) л действие (е) з состояние , состояние (bt) л действие (о,) п состояние (Ь2), состояние (?,) л действие (а2) з состояние (63), состояние (bt) л действие (аг) з состояние (Ь4), состояние (Ьг) л действие (о,) => состояние (Ь5),