(I)谓词定义：TABLE(x):x是桌子 EMPTY(y):y手中是空的 AT(y,Z):y在z附近 HOLDS(y,w):y拿着w ON(W,x):w在x的上面 (2)域 x的个体域是{a,b} y的个体域是{robot} z的个体域是{a,b,c} w的个体域是{box}
(1)谓词定义：TABLE(x):x是桌子 EMPTY(y):y手中是空的 AT(y,z):y在z附近 HOLDS(y,w):y拿着w ON(w,x):w在x的上面 (2)域 x的个体域是{a,b} y的个体域是{robot} z的个体域是{a,b,c} w的个体域是{box}
(3)状态 初始状态 目标状态 AT(robot,c) AT(robot,c) EMPTY(robot) EMPTY (robot) ON (box,a) ON(box,b) TABLE(a) TABLE (a) TABLE(b) TABLE(b) (4)操作：条件+动作 调词方式通过动作前后的状态变化表示 G0T0(x,y):从x处走到y处 PICK-UP(x):在x处拿起盒子 SET-DON(x):在x处放下盒子
(3)状态 初始状态 目标状态 AT(robot,c) AT(robot,c) EMPTY(robot) EMPTY(robot) ON(box,a) ON(box,b) TABLE(a) TABLE(a) TABLE(b) TABLE(b) (4)操作：条件+动作 谓词方式 通过动作前后的状态变化表示 GOTO(x,y):从x处走到y处 PICK-UP(x):在x处拿起盒子 SET-DOWN(x):在x处放下盒子
(5)行动规则： AT(robot,c) AT(robot,b) EMPTY (robot) AT(robot,a) EMPTY (robot) ON(box,a) HOLDS (robot,box) ON (box,b) TABLE(a) TABLE (a) TABLE (a) TABLE (b) TABLE (b) TABLE(b) VGOTO(c,a) UGOTO(a,b) VGOTO (b,c) AT(robot,a) AT(robot,b) AT(robot,c) EMPTY(robot) HOLDS (robot,box) EMPTY (robot) ON (box,a) TABLE (a) ON (box,b) TABLE(a) TABLE (b) TABLE (a) TABLE(b) USet down(b) TABLE (b) VPICK_UP(a)
(5)行动规则： AT(robot,c) EMPTY(robot) ON(box,a) TABLE(a) TABLE(b) GOTO(c,a) AT(robot,a) EMPTY(robot) ON(box,a) TABLE(a) TABLE(b) PICK_UP(a) AT(robot,a) HOLDS(robot,box) TABLE(a) TABLE(b) GOTO(a,b) AT(robot,b) HOLDS(robot,box) TABLE(a) TABLE(b) Set_down(b) AT(robot,b) EMPTY(robot) ON(box,b) TABLE(a) TABLE(b) GOTO(b,c) AT(robot,c) EMPTY(robot) ON(box,b) TABLE(a) TABLE(b)
2一阶调词逻辑表示法的特点 (1)优点 ·自然性 ·精确性 。严密性 。容易实现 (2)局限性 ·不能表示不确定性的知识 ·组合爆炸 ·效率低
2 一阶谓词逻辑表示法的特点 (1)优点 • 自然性 • 精确性 • 严密性 • 容易实现 (2)局限性 • 不能表示不确定性的知识 • 组合爆炸 • 效率低
§3.2产生式表示法 “产生式”这一术语是由美国数学家波斯特 (E.P0ST)在1934年首先提出来的，它根据串代替 规则提出了一种称为波斯特机的计算模型，模型中 的每条规则称为一个产生式 1972年纽厄尔和西蒙在研究人类知识模型中开发 了基于规则的产生式系统 1产生式的基本形式：P→Q 或IF P THEN Q 它与蕴含式的区别 (1)蕴含式只能表示精确知识，产生式可以表示精确与 不精确知识 (2)调词逻辑的蕴含式，要求精确匹配，产生式要求可 精确或模糊匹配
§3.2 产生式表示法 “产生式”这一术语是由美国数学家波斯特 （E.POST)在1934年首先提出来的，它根据串代替 规则提出了一种称为波斯特机的计算模型，模型中 的每条规则称为一个产生式 1972年纽厄尔和西蒙在研究人类知识模型中开发 了基于规则的产生式系统 1 产生式的基本形式: P→Q 或 IF P THEN Q 它与蕴含式的区别 (1)蕴含式只能表示精确知识，产生式可以表示精确与 不精确知识 (2)谓词逻辑的蕴含式，要求精确匹配，产生式要求可 精确或模糊匹配