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

допустимо (добавить (В), s) с состояние (В, содержимое (В), s) л л содержимое (В) * 4. 292 12.1. Задачи планирования Аксиомы переливания из сосуда в сосуд: допустимо (перелить (А, В), s) с состояние (А, содержимое (A), s) л л содержимое (А) * О л состояние (содержимое (В), s) л содержимое (В) Ф 4, допустимо (перелить (В, A), s) с состояние (В, содержимое (В), s) л л содержимое (В) * О л состояние (содержимое (A), s) л содержимое (А) * 3. 12.1.3. Аксиомы перехода в следующие ситуации Запишем эти аксиомы в виде Допустимо (убавить (сосуд), s) л состояние (сосуд, содержимое (сосуд), s) => состояние (сосуд, содержимое (сосуд) -1, переход (убавить (сосуд), s)), допустимо (добавить (сосуд), s) л состояние (сосуд, содержимое (сосуд), s) z> состояние (сосуд, содержимое (сосуд) +1, переход (добавить (сосуд), s)),