(3)从确定性划分 ·确定性知识:可指出其真值为“真”或《假”, 是精确性知识 ·不确定性知识:它是对不精确,不完全,模糊 性知识的总称 (4)从知识结构及表现形式来划分 ·逻辑性知识:反映人类逻辑思维过程的知识, 一般具有因果关系及难以精确描述的特点,通 常基于专家经验。一阶谓词逻辑表示法,产生 式表示法用来表述这种知识 ·形象性知识:例:树 文字难回答 指一棵树给你看,形象逼真
(3)从确定性划分 • 确定性知识:可指出其真值为“真”或“假” , 是精确性知识 • 不确定性知识:它是对不精确,不完全,模糊 性知识的总称 (4)从知识结构及表现形式来划分 • 逻辑性知识:反映人类逻辑思维过程的知识, 一般具有因果关系及难以精确描述的特点,通 常基于专家经验。一阶谓词逻辑表示法,产生 式表示法用来表述这种知识 • 形象性知识:例:树 文字难回答 指一棵树给你看,形象逼真
(5)从抽象、整体的观点划分 。零级知识:指问题领域内的事实,定理,方程, 实验对象和操作等常识性知识及原理性知识 ·一级知识:指经验性,启发性知识(经验性规 则,含义模糊的建议,不确切的判断标准等) ·二级知识:运用上述两级知识的知识 4知识的表示:在选择知识表示法方法时,应 考虑下几个方面。 (1)充分表示领域知识 ·在医疗诊断领域,只是具有经验性,因果性, 适合于用产生式表示法进行表示
(5)从抽象、整体的观点划分 • 零级知识:指问题领域内的事实,定理,方程, 实验对象和操作等常识性知识及原理性知识 • 一级知识:指经验性,启发性知识(经验性规 则,含义模糊的建议,不确切的判断标准等) • 二级知识:运用上述两级知识的知识 4 知识的表示:在选择知识表示法方法时 ,应 考虑下几个方面。 (1)充分表示领域知识 • 在医疗诊断领域,只是具有经验性,因果性, 适合于用产生式表示法进行表示
● 在设计类领域,一个部件由多个子部件组成, 它们既有共性又有个性,需要框架表示法与 产生式表示结合起来 (2)有利于对知识的利用 ·表示:领域知识一形式化一计算机内部存储 ●】 利用:使用知识进行推理,求解现实问题 表示的目的是《利用”,“利用”的基础是 “表示” (3)便于对知识的组织,维护与管理 ·组织:依赖于知识的表示方法 ● 维护:知识的质量、数量、性能方面补充、 修改、删除 ·管理:保证知识的一致性、完整性 (4)便于理解和实现
• 在设计类领域,一个部件由多个子部件组成, 它们既有共性又有个性,需要框架表示法与 产生式表示结合起来 (2)有利于对知识的利用 • 表示:领域知识—形式化—计算机内部存储 • 利用:使用知识进行推理,求解现实问题 表示的目的是“利用” , “利用”的基础是 “表示” (3)便于对知识的组织,维护与管理 • 组织:依赖于知识的表示方法 • 维护:知识的质量、数量、性能方面补充、 修改、删除 • 管理:保证知识的一致性、完整性 (4)便于理解和实现
§3.2 一阶调词逻辑表示法 1表示知识的方法 调词逻辑适合于表示事务的状态、属性、概念等事 实性的知识,事务间确定的因果关系 首先确定调词,然后用连词连接 例1设有下列知识:自然数都是大于零的整数 所有整数不是偶数就是奇数 偶数除以2是整数 定义谓词如下: N(x):x是自然数 I(x):x是整数 E(☒):x是偶数 0(x):x是奇数 GZ(x):x是大于零 S(x):表示x除以2
§3.2 一阶谓词逻辑表示法 1 表示知识的方法 谓词逻辑适合于表示事务的状态、属性、概念等事 实性的知识,事务间确定的因果关系 首先确定谓词,然后用连词连接 例1 设有下列知识:自然数都是大于零的整数 所有整数不是偶数就是奇数 偶数除以2是整数 定义谓词如下: N(x):x是自然数 I(x):x是整数 E(x):x是偶数 O(x):x是奇数 GZ(x):x是大于零 S(x):表示x除以2
连词连接表示: (/x)(N(x)→GZ(x)入I(x)自然数都是大于零的整数 (/x)(I(x)→E(x)V0(x)所有蓬数不是偶数就是奇数 (Hx)(E(x)→I(S(x)) 偶数除以2是整数 例2设在房内c处有一机器人,在a及b处各有 一张桌子,a桌上有一个盒子,为了让机器 人把盒子从a处拿到b处的桌子上,然后再回 到C处,需要制定相应的行动规则,用一阶 谓词逻辑来描述机器人的行动过程
连词连接表示: (x)(N(x)→GZ(x)I(x)) (x)(I(x)→E(x)O(x)) (x)(E(x)→I(S(x))) 例2 设在房内c处有一机器人,在a及b处各有 一张桌子,a桌上有一个盒子,为了让机器 人把盒子从a处拿到b处的桌子上,然后再回 到c处,需要制定相应的行动规则,用一阶 谓词逻辑来描述机器人的行动过程 a b c 自然数都是大于零的整数 所有整数不是偶数就是奇数 偶数除以2是整数