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

ю- 291 12. Планирование действий Наполнение сосуда В Опустошение сосуда А Опустошение сосуда В Рис. 12.1. Задача о поиске плана наполнения сосудов (сосуд, содержимое (сосуд), s), характеризующий состояние сосуда. Этот предикат истинен, если в ситуации s содержимое сосуда равно одному из значений функции содержимое (сосуд) из области ее значений. Аксиомами ситуационного исчисления для нашей задачи будут следующие. 12.1.1. Аксиомы начальной ситуации состояние (А, 0, 50) л состояние (В, О, 50). 12.1.2. Аксиомы допустимых действий Аксиомы опустошения сосудов: допустимо (Убавить (сосуд), s) с состояние (сосуд, содержимое (сосуд), s) л л содержимое (сосуд) *¦ 0. Аксиомы наполнения сосудов: допустимо (добавить (A), s) с состояние (А, содержимое (A), s) л л содержимое (А) * 3,