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

(В) * 4, (12.7) допустимо (перелить (В, A), s) v -¦ состояние (В, содержимое (В), s) v -1 содержимое (j)*Ov-i состояние (содержимое (A), s) v -1 содержимое (А) * 3. (12.8) Клаузы перехода в следующие ситуации: -1 допустимо (добавить (сосуд), s) v -1 состояние (сосуд, содержимое (сосуд), s) v состояние (сосуд, содержимое (сосуд) + 1, переход (добавить (сосуд), s)), (12.9) -1 допустимо (убавить (сосуд), s) v -, состояние (сосуд, содержимое (сосуд), s) v состояние (сосуд, содержимое (сосуд) -1, переход (убавить (сосуд), s)), (12.10) -, допустимо (перелить (сосуд, сосуд'), s)v-, состояние (сосуд, содержимое (сосуд), s) v -, состояние (сосуд', содержимое (сосуд"), s) v v состояние (сосуд, содержимое (сосуд) - 1, переход (перелить (сосуд, сосуд'), s)), (12.1I) -. допустимо (перелить (сосуд, сосуд'), s) v -1 состояние (сосуд, содержимое (сосуд), s) v -, состояние (сосуд', содержимое (сосуд'), s) v