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

-. состояние (А, 1, s) v -, состояние (В, 2, s), (12.17) -л состояние (А. 1. So) v -.состояние (В, 2, s), (12.18) состояние (А. 1. 50). (12.19) -. состояние (В, 2, s), (12.20) -л состояние (В. 2. переход (убавить (В), s)). (12.21) -I допустимо (убавить (В), s) v -i состояние (В, 3, 5) v состояние (В. 2. переход (убавить (В), s)). (12.22) -1 допустимо (убавить (В), s) v -i состояние (В, 3, 5), (12.23) допустимо (убавить (В), s) v -¦ состояние (В, 3, 5) v -.3*0, (12.24) -1 состояние (В, 3, 5), (12.25) -, состояние (В, 3. ^). ¦ (12.26) состояние (В. 3. 5„). (12.27) М/. (12.28) 12.1.7. Построение плана Суть построения плана достаточно проста. Рассмотрим участок процесса вывода (12.22) — (12.27). Преобразуем клаузы (12.22), (12.24), (12.27) этого участка в эквивалентные формулы: 296 12.2. Оценка плана