研究内容是综合机器人的动作序列,即在某个给 定初始情况下,经过某个动作序列而达到指定的目标 机器人问题的状态描述和目标描述均可用谓词逻辑 公式构成: ON(a, b):积木a在积木b之上。 ONTABLE(a):积木a在桌面上。 CLEAR(a):积a顶上没有任何东西。 HOLDING(a):机械手正抓住积木a。 HANDEMPTY:机械手为空手 2021/12/14研究内容是综合机器人的动作序列，即在某个给 定初始情况下，经过某个动作序列而达到指定的目标。 机器人问题的状态描述和目标描述均可用谓词逻辑 公式构成： ◼ ON(a,b)：积木a在积木b之上。 ◼ ONTABLE(a)：积木a在桌面上。 ◼ CLEAR(a)：积木a顶上没有任何东西。 ◼ HOLDING(a)：机械手正抓住积木a。 ◼ HANDEMPTY：机械手为空手。 2021/12/14 7