知识表示方法课件.ppt

64 例 将教材上的梵塔难题（由 A 、 B 、 C 三个盘简化为只有 A 、 B 两个 盘）用谓词逻辑法表示。 在上述基础上，应用置换和推理即可表达解决问题的知识如下： ( 1 ) L ( 1 , 1 ) [ 事 实 ] ( 2 ) ( ??? x ) ( y ) ( z ) ((, L z x ) ? L (, z y ) ) [ 规 则 ] ( 3 ) ( ??? x ) ( y ) ( z ) ((, L x z ) ? : E (, y z ) ? L (, y z ) ) [ 规 则 ] 65 例 将教材上的梵塔难题（由 A 、 B 、 C 三个盘简化为只有 A 、 B 两个 盘）用谓词逻辑法表示。 在上述基础上，应用置换和推理即可表达解决问题的知识如下： ( 4 ) L (, zx ) ? L (, zy ) [ 由 ( 2 ) , 全 称 指 定 规 则 U S ] ( 5 ) L ( 1 , 1 ) ? L ( 1 , 2 ) [ 由 ( 4 ) , 作 置 换 { 1 / z , 1 / x , 2 / y } ] ( 6 ) L ( 1 , 2 ) [ 由 ( 1 ) ( 5 ) , 假 言 推 理 ] 66 例 将教材上的梵塔难题（由 A 、 B 、 C 三个盘简化为只有 A 、 B 两个 盘）用谓词逻辑法表示。 在上述基础上，应用置换和推理即可表达解决问题的知识如下： ( 7 ) L ( x , z ) ? : E ( y , z ) ? L ( y , z ) [ 由 ( 3 ) , 全 称 指 定 规 则 U S ] ( 8 ) L ( 1 ,2 ) ? : E ( 3 ,2 ) ? L ( 3 ,2 ) [ 由 ( 7 ) , 作 置 换 { 1 / x , 2 / z , 3 / y } ] ( 9 ) : E ( 3 ,2 ) [ 事 实 ] ( 1 0 ) L ( 3 ,2 ) [ 由 ( 6 ) ( 9 ) ( 8 ) , 假 言 推 理 ] ( 1 1 ) L ( 3 ,2 ) ? L ( 3 ,3 ) [ 由 ( 4 ) , 作 置 换 { 3 / z , 2 / x , 3 / y } ] ( 1 2 ) L ( 3 ,3 ) [ 由 ( 1 0 ) ( 1 1 ) , 假 言 推 理 ] 2.4 语义网络表示法 ? 语义网络是 1968 年 J. R. Quillian 在研究人类联想记忆时提出的心理 学模型，认为记忆是由概念间的联系实现的。 ? 随后在 自然语言理解系统 中用做知识表示，在 ES 中语义网络首先由 PROSPECTOR 实现。 ? 目前，语义网络已成为 AI 中应用较多的一种知识表示方法。 67 2.4 语义网络法 ? 谓词逻辑与语义网络等效 ISA LIMING MAN （语义网络） （谓词逻辑） ISA （ LIMING ， MAN ）或 MAN （ LIMING ） 68 2.4 语义网络法 ? 多元语义网络表示的实质 – 把多元关系转化为一组二元关系的组合，或二元关 系的合取。 R(X 1 ， X 2 ， … ， X n ) 可转换为 R 12 (X 1 ， X 2 )∧R 13 (X 1 ， X 3 )∧ … ∧ R 1n (X 1 ， X n ) ...... R n-1 n (X n-1 ， X n ) 69 2.4.1 语义网络的概念及其结构 ? 语义网络是通过概念及其语义关系来表示知识 的一种网络图，它是一个带标注的有向图，由 节点和弧构成。 ? 节点：表示不同对象（概念、事物、属性、情 况、动作、状态等）；可以带有表征对象特性 的若干属性。 弧：是有方向、有标注的。方向体现节点间的 主次关系，标注表示节点间的语义关系。 ? 70 一个最简单的语义网络可由一个 三元组 表示： ( 节点 1 ， 弧 ，节点 2) 它可用 有向图 表示，称做 基本网元 。 张三 同学 李四 ( 张三 ， 同学 ， 李四 ) 其中： A 和 B 分别代表 节点 ， R 表示 A 和 B 之间的某种 语义联系 。 71 当把多个 基本网元 用 相应的 语义联系 关联 在一起时，就可得到 一个 语义网络 。 在 语义网络 中， 节点 还可以是一个 语义子网络 ，所 以，语义网络实质上可以是一种多层次的 嵌套结构 。 72 2.4.2 语义网络中的基本语义联系 73 ? 类属关系： ? 包含关系： ? 占有关系： ? 时间关系： ? 位置关系： 苹果树 AKO 果树