人工智能课件之知识表示方法.ppt

* 情况和动作的表示情况的表示(1/2) 表示方法：西蒙提出了增加情况和动作结点的描述方法 例2-12： 用语义网络表示： “小燕子这只燕子从春天到秋天占有一个巢” 需要设立一个占有权结点，表示占有物和占有时间等。 小燕子 燕子 鸟 巢 鸟窝 春天 时间 秋天 情况 占有权 占有资格 ISA AKO Ownee Star AKO AKO End AKO AKO Owner AKO * 情况和动作的表示情况的表示(2/2) 对上述问题，也可以把占有作为一种关系，并用一条弧来表示，但在这种表示方法下，占有关系就无法表示了 小燕子 燕子 鸟 巢 鸟窝 ISA AKO Owns AKO * 情况和动作的表示事件和动作的表示 用语义网络表示事件或动作时，需要设立一个事件或动作结点 动作结点：由一些向外引出的弧来指出动作的主体与客体。 例2-13 用于语义网络表示： “常河给江涛一张磁盘” 事件结点： 如上例用一个事件结点描述 一张磁盘 常河 给 江涛 Gift Receiver Giver 一张磁盘 给予事件 给 常河 江涛 Gift Receiver Giver Action 谓词逻辑表示的应用猴子摘香蕉问题(1/3) 描述状态的谓词： AT(x, y)：x在y处 ONBOX：猴子在箱子上 HB：猴子得到香蕉 个体域： x ：{monkey, box, banana} Y：{a, b, c} 问题的初始状态 AT(monkey, a) AT(box, b) ? ONBOX ， ? HB 问题的目标状态 AT(monkey, c) ，AT(box, c) ONBOX ， HB a b c 谓词逻辑表示的应用猴子摘香蕉问题(2/3) 描述操作的谓词 Goto(u, v)：猴子从u处走到v处 Pushbox(v, w)：猴子推着箱子从v处移到w处 Climbbox：猴子爬上箱子 Grasp：猴子摘取香蕉 各操作的条件和动作 Goto(u, v) 条件：?ONBOX ，AT(monkey, u)， 动作：删除表：AT(monkey, u) 添加表：AT(monkey, v) Pushbox(v, w) 条件： ? ONBOX ，AT(monkey, v)，AT(box, v) 动作：删除表：AT(monkey, v)，AT(box, v) 添加表：AT(monkey, w)，AT(box,w) 谓词逻辑表示的应用猴子摘香蕉问题(3/3) Climbbox 条件： ? ONBOX ，AT(monkey, w)，AT(box,w) 动作：删除表： ? ONBOX 添加表：ONBOX Grasp 条件：ONBOX，AT(box, c) 动作：删除表： ? HB 添加表：HB 谓词逻辑表示的特征 主要优点 自然：一阶谓词逻辑是一种接近于自然语言的形式语言系统，谓词逻辑表示法接近于人们对问题的直观理解 明确：有一种标准的知识解释方法，因此用这种方法表示的知识明确、易于理解 精确：谓词逻辑的真值只有“真”与“假”，其表示、推理都是精确的 灵活：知识和处理知识的程序是分开的，无须考虑处理知识的细节 模块化：知识之间相对独立，这种模块性使得添加、删除、修改知识比较容易进行 主要缺点 知识表示能力差：只能表示确定性知识，而不能表示非确定性知识、过程性知识和启发式知识 知识库管理困难：缺乏知识的组织原则，知识库管理比较困难 存在组合爆炸：由于难以表示启发式知识，因此只能盲目地使用推理规则，这样当系统知识量较大时，容易发生组合爆炸 系统效率低：它把推理演算与知识含义截然分开，抛弃了表达内容中所含有的语义信息，往往使推理过程冗长，降低了系统效率 π的平方是非负的。 解: 个体： π的平方：以 a表示 谓词：…是非负的：以Q表示 符号化：Q(a) 另解 个体： π 函词（函数符号）：…的平方：以f表示 谓词：…是非负的：以Q表示 符号化：Q(f