2.2.3谓词逻辑表示的应用 机器人移盒子问题(2/6) ⑩问题的初始状态: AT(robot, c) EMPTY(robot) ON(bOX, a) ⑩⑩ TABLE(a) TABLE(b) 问题的目标状态: AT(robot, c) EMPTY(robot ON(bOX, b) ⑩⑩⑩ TABLE(a) TABLE(b) 机器人行动的目标把问题的初始状态转换为目标状态,而要实现问题状态的转换需要完成一系列的操作20 2.2.3 谓词逻辑表示的应用 机器人移盒子问题(2/6)  问题的初始状态：  AT(robot, c)  EMPTY(robot)  ON(box, a)  TABLE(a)  TABLE(b)  问题的目标状态：  AT(robot, c)  EMPTY(robot)  ON(box, b)  TABLE(a)  TABLE(b)  机器人行动的目标把问题的初始状态转换为目标状态，而要实现问题状态的转换需要完成一系列的操作