第一部分:第2章知识表示方法 2.1.4.3知识表示方法的衡量及特性 (7)可利用性 知识表示的目的在于知识的利用,具体地说就是知识的检索和推理 知识的检索与推理是一种控制知识,在专家系统中,一旦知识表示模式 被选定,它们也就相应地被确定下来。因此,所选择的知识表示方法应 当便于对知识的利用,其数据结构应力求简单,并保持清晰一致。如果 种表示模式的数据结构过于复杂或者难于理解。使得推理不便于进行 匹配、冲突消解以及不确定性的计算等处理,那么就势必影响智能系统 的效率及其问题求解的能力。 2004.113 A|程序设计 26
2004.11.3 AI程序设计 26 第一部分：第2章 知识表示方法 2.1.4.3 知识表示方法的衡量及特性 (7) 可利用性 知识表示的目的在于知识的利用，具体地说就是知识的检索和推理。 知识的检索与推理是一种控制知识，在专家系统中，一旦知识表示模式 被选定，它们也就相应地被确定下来。因此，所选择的知识表示方法应 当便于对知识的利用，其数据结构应力求简单，并保持清晰一致。如果 一种表示模式的数据结构过于复杂或者难于理解。使得推理不便于进行 匹配、冲突消解以及不确定性的计算等处理，那么就势必影响智能系统 的效率及其问题求解的能力
第一部分:第2章知识表示方法 2.1.4.3知识表示方法的衡量及特性 8)可维护性 知识需要进行合理的组织,对于知识的组织是与其表示方法密切相关 的,不同的表示方法对应于不同的组织方式。这就要求在设计和选择知 识表示方法时,充分考虑将要对知识进行的组织方式。此外,知识还需 要适当地增补、修改和删除,以保证知识的一致性和完整性,即需要进 行知识的管理和维护。因此在选择知识表示方法时还应当充分考虑到知 管理和维护的方便性。 简而言之,在建造具体专家系统时,应当以有效地表示问题领域的专 门知识,便于知识的获取,有利于运用知识进行推理的原则来选择知识 表示方法。 2004.113 A|程序设计 27
2004.11.3 AI程序设计 27 第一部分：第2章 知识表示方法 2.1.4.3 知识表示方法的衡量及特性 (8) 可维护性 知识需要进行合理的组织，对于知识的组织是与其表示方法密切相关 的，不同的表示方法对应于不同的组织方式。这就要求在设计和选择知 识表示方法时，充分考虑将要对知识进行的组织方式。此外，知识还需 要适当地增补、修改和删除，以保证知识的一致性和完整性，即需要进 行知识的管理和维护。因此在选择知识表示方法时还应当充分考虑到知 识管理和维护的方便性。 简而言之，在建造具体专家系统时，应当以有效地表示问题领域的专 门知识，便于知识的获取，有利于运用知识进行推理的原则来选择知识 表示方法
第一部分:第2章知识表示方法 2.2一阶谓词逻辑表示法 逻辑表示法是一种基于数理逻辑的知识表示方式。数理逻辑是一门研 究推理的科学,在人工智能研究中占有重要的地位。人工智能中用到的 逻辑可分为两大类;一类是经典命题逻辑和一阶谓词逻辑;另一类是除 经典逻辑以外的那些逻辑。 谓词逻辑的表现方式与人类自然语言比较接近,能够自然而精确地表 达人类思维和推理的有关知识,因此,谓词逻辑已成为各种智能系统中 最基本的知识表达方法 2004.113 A|程序设计 28
2004.11.3 AI程序设计 28 第一部分：第2章 知识表示方法 2.2 一阶谓词逻辑表示法 逻辑表示法是一种基于数理逻辑的知识表示方式。数理逻辑是一门研 究推理的科学，在人工智能研究中占有重要的地位。人工智能中用到的 逻辑可分为两大类；一类是经典命题逻辑和一阶谓词逻辑；另一类是除 经典逻辑以外的那些逻辑。 谓词逻辑的表现方式与人类自然语言比较接近，能够自然而精确地表 达人类思维和推理的有关知识，因此，谓词逻辑已成为各种智能系统中 最基本的知识表达方法
第一部分:第2章知识表示方法 2.2一阶谓词逻辑表示法 利用逻辑公式人们能描述对象、性质、状况和关系。使用逻辑法表示 知识,要将以自然语言描述的知识,通过引入谓词、函数来加以描述, 获得有关的逻辑公式,进而将其用内部代码表示。在逻辑法表示下可采 用归结法或其他方法进行准确的推理。逻辑表示通常包括命题逻辑和谓 词逻辑,关于命题逻辑表示将在下一章作具体介绍。这里主要指的是谓 词逻辑表示法。 谓词逻辑表示法采用谓词合式公式WFF和一阶谓词演算把要解决的问 题变为一个有待证明的问题,然后采用消解定理和消解反演来证明一个 新语句是从已知的正确语句导出的,从而证明这个新语句也是正确的。 谓词逻辑是一种形式语言,能够把数学中的逻辑证明符号化。 2004.113 A|程序设计
2004.11.3 AI程序设计 29 第一部分：第2章 知识表示方法 2.2 一阶谓词逻辑表示法 利用逻辑公式人们能描述对象、性质、状况和关系。使用逻辑法表示 知识，要将以自然语言描述的知识，通过引入谓词、函数来加以描述， 获得有关的逻辑公式，进而将其用内部代码表示。在逻辑法表示下可采 用归结法或其他方法进行准确的推理。逻辑表示通常包括命题逻辑和谓 词逻辑，关于命题逻辑表示将在下一章作具体介绍。这里主要指的是谓 词逻辑表示法。 谓词逻辑表示法采用谓词合式公式WFF和一阶谓词演算把要解决的问 题变为一个有待证明的问题，然后采用消解定理和消解反演来证明一个 新语句是从已知的正确语句导出的，从而证明这个新语句也是正确的。 谓词逻辑是一种形式语言，能够把数学中的逻辑证明符号化
第一部分:第2章知识表示方法 2.2一阶谓词逻辑表示法 2.2.1命题与真值 2.2.2论域和谓词 2.2.3谓词公式与量词 2.2.4谓词逻辑表示方法 2.2.5谓词逻辑表示方法的BN描述 2.2.6谓词逻辑表示方法的特点 2004.113 A|程序设计
2004.11.3 AI程序设计 30 第一部分：第2章 知识表示方法 2.2 一阶谓词逻辑表示法 2.2.1 命题与真值 2.2.2 论域和谓词 2.2.3 谓词公式与量词 2.2.4 谓词逻辑表示方法 2.2.5 谓词逻辑表示方法的BNF描述 2.2.6 谓词逻辑表示方法的特点