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

состояние (А, 1, 50), (12.2) состояние (В, 3, So). (12.3) Клауза опустошения сосудов следует из аксиомы опустошения: допустимо {убавить (сосуд), s) v -¦ состояние (сосуд, содержимое (сосуд), s) v -i содержимое (сосуд) * 0. (12.4) Клауза наполнения сосуда А вытекает из аксиомы наполнения сосуда А: допустимо (добавить (A), s) v -. состояние (А, содержимое (A), s) v -i содержимое (А) * 3. (12.5) Клауза наполнения сосуда В получается из аксиомы наполнения сосуда В: допустимо (добавить (В), s) v -. состояние (В, содержимое (В), s) v -> содержимое (В) *¦ 4. (12.6) Клаузы переливания из сосуда в сосуд можно получить, используя соответствующие аксиомы переливания: 294 12,1. Задачи планирования допустимо (перелить (А, В), s) v -> состояние (А, содержимое (A), s) v -i содержимое (А) * О v -¦ состояние (содержимое (В), s) v -1 содержимое