3,知识表示.ppt

第2章 知识表示方法 ;2.1 知识及其表示 ;知识、数据和信息; 按照知识的作用范围来划分，知识可以分为常识性知识、领域性知识。 按照知识的作用及表示来划分，知识可以分为事实性知识、规则性知识、控制性知识和元知识。 按照知识的确定性划分，知识可以分为确定性知识和不确定性知识。 按照人类的思维及认识来划分，可分为逻辑性知识和形象性知识。; 知识的表示就是对人类知识的一种描述，以把知识表示成计算机能够处理的数据结构。对知识进行知识表示的过程就是把知识编码成某种数据结构的过程。 知识表示方法可以分为陈述性知识表示和过程性知识表示两大类。 陈述性知识表示主要是用来描述事实性知识。这类表示法就是将对象的有关事实陈述出来，并以数据的形式表示。 过程性知识表示主要用来描述规则性知识和控制结构知识。; 知识表示并不神秘。实际上，我们已经接触过或使用过。 例如，我们通常所说的算法，就是一种知识表示形式。因为它刻划了解决问题的方法和步骤（即它描述的是知识），又可以在计算机上用程序实现。;因此，几乎每一种知识表示方法都有其相应的专用实现语言。 例如，支持谓词逻辑的语言有PROLOG和LISP， 专门支持产生式的语言有OPS5， 专门支持框架的语言有FRL， 支持面向对象表示的语言有Smalltalk、C++和Java等， 支持神经网络表示的语言有AXON。;知识表示法中，包含了多种具体的方法，目前使用较多的有：;2.2 谓词逻辑表示法;2.2 谓词逻辑表示法;对于事实性知识，谓词逻辑的表示法通常是由以合取、析取符号（∧、∨）联结形成的谓词公式来表示。 例如，对于事实性知识“张三是学生，李四也是学生”可以表示为： Is_student(张三) ∧ Is_student(李四);2.2 谓词逻辑表示法;2.2 谓词逻辑表示法;命题：表达某种含义的陈述性语句并具有肯定（T）和否定（F）的真值。 1）X：西安是一座历史名城。 2）Y：煤球是白的。 3）Z：3+4=7 命题有真（T）有假（F） 个体：独立存在的某个事物 例如：西安，煤球，3，4等 ;定义一种类同数学函数性形式的，含有变元参量的字符或字符串来表示“…是一座历史名城” 例：定义FCITY(X)的含义“X是一座历史名城” 谓词： FCITY(X)——谓词名(变元) 一个变元叫一元谓词;例： LIFELESS(outer-stars)，外星球没有智能生命 INCORRECT(liftless(outer-stars))，说“外星球没有智能生命” 二阶谓词： P(x)中的x也可以是一个谓词，若x是一阶谓词，则称P(x)为二阶谓词;P(x)就是谓词公式，P是谓词；x是客体变元，所对应的定义域成为客体域。 P(x)中的x也可以是一个谓词，若x是一阶谓词，则称P(x)为二阶谓词。 一个谓词通常可以有若干个客体变元，谓词P(x1,x2,…, xn)称为n元谓词。 ; 2.3 产生式表示法;1943年Post首先在一种计算形式体系中提出 60年代开始，成为专家系统的最基本的结构 形式上很简单，但在一定意义上模仿了人类思考的过程;2.3 产生式表示法;2.3 产生式表示法;2.3 产生式表示法;2.3 产生式表示法; 2.3产生式系统的基本组成;2.3 产生式系统;2.3 产生式系统 ;产生式系统的组成;产生式系统的运行过程;2.3.1 前向推理;产生式系统的控制策略:正向推理;前(正)向推理的步骤;产生式系统的正向推理;产生式系统的正向推理;动物分类产生式系统;动物分类产生式系统;2.3.1 前向推理;2.3.2 后(反)向推理;产生式系统的反向推理;产生式系统的反向推理;例1 设动物分类的规则库为： R1： 若某动物有奶，则它是哺乳动物。 R2：若某动物有毛发，则它是哺乳动物。 R3：若某动物有羽毛，则它是鸟。 R4：若某动物会飞且生蛋，则它是鸟。 R5：若某动物是哺乳动物且有爪且有犬齿且目盯前方，则它是食肉动物。 R6：若某动物是哺乳动物且吃肉，则它是食肉动物。 R7：若某动物是哺乳动物且有蹄，则它是有蹄动物。 R8：若某动物是有蹄动物且反刍食物，则它是偶蹄动物。 R9：若某动物是食肉动物且黄褐色且有黑色条纹，则它是老虎。 R10：若某动物是食肉动物且黄褐色且有黑色斑点，则它是金钱豹。 R11：若某动物是有蹄动物且长腿且长脖子且黄褐色且有暗斑点，则它是长颈鹿。 R12：若某动物是有蹄动物且白色且有黑色条纹，则它是斑马。 R13：若某动物