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

v состояние (сосуд, содержимое (сосуд') + 1, переход (перелить (сосуд, сосуд')). (12.12) 12.1.6. Обратный вывод Процедура вывода на основе опровержения и обобщенного правила резолюции приведена ниже (см. гл. 4). Каждый шаг вывода состоит из трех клауз — двух исходных и резольвенты с используемыми подстановками. Литералы, которые не попадают в резольвенту, подчеркиваются: 295 12. Планирование действий -1 состояние (А. 2. переход {добавить (A), s)) v -¦ состояние (В, 2, s), (12.13) -1 допустимо (добавить (A), s) v -¦ состояние (А, 1, s) v состояние (А. 2. переход (добавить (A), s)). (12.14) -I допустимо (добавить (A), s) v -¦ состояние (А, 1, s) v -i состояние (В, 2, s), (12.15) допустимо (добавить (A), s) v -¦ состояние (А, 1, s) v -, 1 * 3, (12.16)