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

допустимо {убавить (В), s) л состояние (В, 3, s) з состояние (В, 2, Переход (убавить (В), s)), (12.29) допустимо (убавить (В), s) с состояние (В, 3, s) л 3 * О, (12.30) состояние (В, 3, So). (12.31) Используя эти формулы и обобщенные правила модус поненс, можем осуществить следующий прямой вывод: состояние (В, 3, 50), состояние (В, 3, 50) л 3 * 0 з допустимо (убавить (В), 50) Ь допустимо (убавить (В), So), допустимо (убавить (В), 50), состояние (В, 3, 50), состояние (В, 3, So) л л допустимо (убавить (В), 50) з состояние (В, 2, переход (убавить (В), So)) Ь состояние (В, 2, переход (убавить (В), SQ)).