223谓词逻辑表示的应用 机器人移盒子问题(1/6) 分别定义描述状态和动作的谓词 ●描述状态的谓词: TABLE(x):x是桌子 EMPTY(y):y手中是空的 AT(y,z):y在z处 HOLDS(y,w):y拿着w ON(w,x):w在x桌面上 变元的个体域: x的个体域是{a,b a y的个体域是{ robot} z的个体域是{a,b,e} w的个体域是{box}⚫ 分别定义描述状态和动作的谓词 ⚫ 描述状态的谓词: ⚫ TABLE(x):x是桌子 ⚫ EMPTY(y):y手中是空的 ⚫ AT(y, z):y在z处 ⚫ HOLDS(y, w):y拿着w ⚫ ON(w, x):w在x桌面上 ⚫ 变元的个体域: ⚫ x的个体域是{a,b} ⚫ y的个体域是{robot} ⚫ z的个体域是{a,b, c} ⚫ w的个体域是{box} a b c 19