1、第第2章章 知识表示知识表示 2.1 知识与知识表示的概念知识与知识表示的概念 2.2 一阶谓词逻辑表示法一阶谓词逻辑表示法 2.3 产生式表示法产生式表示法 2.4 语义网络表示法语义网络表示法 2.5 框架表示法框架表示法 2.6 过程表示法过程表示法 按照符号主义的观点，知识是一切智能行为的基础，要使按照符号主义的观点，知识是一切智能行为的基础，要使计算机具有智能，首先必须使它拥有知识。计算机具有智能，首先必须使它拥有知识。12.1 知识与知识表示的概念知识与知识表示的概念 2.1.1 知识的概念知识的概念 2.1.2 知识表示的概念知识表示的概念22.1.1 知识的概念知识的概念什么是
2、知识什么是知识知识的一般概念知识的一般概念 知识是人们在改造客观世界的实践中积累起来的知识是人们在改造客观世界的实践中积累起来的认识认识和和经验经验 认识：认识：包括对事物现象、本质、属性、状态、关系、联系和运动等的认识包括对事物现象、本质、属性、状态、关系、联系和运动等的认识 经验：经验：包括解决问题的包括解决问题的微观方法：微观方法：如步骤、操作、规则、过程、技巧等如步骤、操作、规则、过程、技巧等 宏观方法：宏观方法：如战略、战术、计谋、策略等如战略、战术、计谋、策略等知识的有代表性的定义知识的有代表性的定义 （1）Feigenbaum:知识是经过剪裁、塑造、解释、选择和转换了的信息知识是
3、经过剪裁、塑造、解释、选择和转换了的信息 （2）Bernstein：知识由特定领域的描述、关系和过程组成知识由特定领域的描述、关系和过程组成 （3）Heyes-Roth：知识知识=事实事实+信念信念+启发式启发式知识、信息、数据及其关系知识、信息、数据及其关系 数据数据是信息的载体，本身无确切含义，其关联构成信息是信息的载体，本身无确切含义，其关联构成信息 信息信息是数据的关联，赋予数据特定的含义，仅可理解为描述性知识是数据的关联，赋予数据特定的含义，仅可理解为描述性知识 知识知识可以是对信息的关联，也可以是对已有知识的再认识可以是对信息的关联，也可以是对已有知识的再认识 常用的关联方式：常用
4、的关联方式：if then 32.1.1 知识的概念知识的概念知识的类型知识的类型(1/2)按知识的性质按知识的性质 概念、命题、公理、定理、规则和方法概念、命题、公理、定理、规则和方法按知识的作用域按知识的作用域 常识性知识：常识性知识：通用通识的知识。人们普遍知道的、适应所有领域的知识。通用通识的知识。人们普遍知道的、适应所有领域的知识。领域性知识：领域性知识：面向某个具体专业领域的知识。面向某个具体专业领域的知识。例如：例如：专家经验。专家经验。按知识的作用效果按知识的作用效果 事实性知识：事实性知识：用于描述事物的概念、定义、属性等；用于描述事物的概念、定义、属性等；或用于描述问题的状
5、态、环境、条件等。或用于描述问题的状态、环境、条件等。过程性知识：过程性知识：用于问题求解过程的操作、演算和行为的知识；用于问题求解过程的操作、演算和行为的知识；用来指出如何使用那些与问题有关的事实性知识的知识；用来指出如何使用那些与问题有关的事实性知识的知识；表示方式：表示方式：产生式、谓词、语义网络等。产生式、谓词、语义网络等。控制性知识：控制性知识：(元知识或超知识元知识或超知识)是关于如何使用过程性知识的知识；是关于如何使用过程性知识的知识；例如：例如：推理策略、搜索策略、不确定性的传播策略。推理策略、搜索策略、不确定性的传播策略。42.1.1 知识的概念知识的概念知识的类型知识的类型
6、(2/2)按知识的层次按知识的层次 表层知识：表层知识：描述客观事物的现象的知识。例如：感性、事实性知识描述客观事物的现象的知识。例如：感性、事实性知识 深层知识：深层知识：描述客观事物本质、内涵等的知识。例如：理论知识描述客观事物本质、内涵等的知识。例如：理论知识按知识的确定性按知识的确定性 确定性知识：确定性知识：可以说明其真值为真或为假的知识可以说明其真值为真或为假的知识 不确定性知识：不确定性知识：包括不精确、模糊、不完备知识包括不精确、模糊、不完备知识 不精确：不精确：知识本身有真假，但由于认识水平限制却不能肯定其真假知识本身有真假，但由于认识水平限制却不能肯定其真假 表示：用可信度
7、、概率等描述表示：用可信度、概率等描述 模糊：模糊：知识本身的边界就是不清楚的。例如：大，小等知识本身的边界就是不清楚的。例如：大，小等 表示：用可能性、隶属度来描述表示：用可能性、隶属度来描述 不完备：不完备：解决问题时不具备解决该问题的全部知识。例如：医生看病解决问题时不具备解决该问题的全部知识。例如：医生看病按知识的等级按知识的等级 零级知识：零级知识：叙述性知识叙述性知识 一级知识：一级知识：过程性知识过程性知识 二级知识：二级知识：控制性知识（元知识或超知识）控制性知识（元知识或超知识）52.1.2 知识表示的概念知识表示的概念知识表示的含义及要求知识表示的含义及要求什么是知识表示什
8、么是知识表示 是对知识的描述，即用一组符号把知识编码成计算机可以接受的某是对知识的描述，即用一组符号把知识编码成计算机可以接受的某种结构。其表示方法不唯一。种结构。其表示方法不唯一。知识表示的要求知识表示的要求 表示能力：表示能力：能否正确、有效地表示问题。包括：能否正确、有效地表示问题。包括：表范围的广泛性表范围的广泛性 领域知识表示的高效性领域知识表示的高效性 对非确定性知识表示的支持程度对非确定性知识表示的支持程度 可利用性：可利用性：可利用这些知识进行有效推理。包括：可利用这些知识进行有效推理。包括：对推理的适应性：对推理的适应性：推理是根据已知事实利用知识导出结果的过推理是根据已知事
9、实利用知识导出结果的过程程 对高效算法的支持程度：对高效算法的支持程度：知识表示要有较高的处理效率知识表示要有较高的处理效率 可实现性：可实现性：要便于计算机直接对其进行处理要便于计算机直接对其进行处理 可组织性：可组织性：可以按某种方式把知识组织成某种知识结构可以按某种方式把知识组织成某种知识结构 可维护性：可维护性：便于对知识的增、删、改等操作便于对知识的增、删、改等操作 自然性：自然性：符合人们的日常习惯符合人们的日常习惯 可理解性：可理解性：知识应易读、易懂、易获取等知识应易读、易懂、易获取等 62.1.2 知识表示的概念知识表示的概念知识表示的观点及方法知识表示的观点及方法知识表示的
10、观点知识表示的观点 陈述性观点：陈述性观点：知识的存储与知识的使用相分离知识的存储与知识的使用相分离 优点：优点：灵活、简洁，演绎过程完整、确定，知识维护方便灵活、简洁，演绎过程完整、确定，知识维护方便 缺点：缺点：推理效率低、推理过程不透明推理效率低、推理过程不透明 过程性观点：过程性观点：知识寓于使用知识的过程中知识寓于使用知识的过程中 优点：优点：推理效率高、过程清晰推理效率高、过程清晰 缺点：缺点：灵活性差、知识维护不便灵活性差、知识维护不便知识表示的方法知识表示的方法 逻辑表示法：逻辑表示法：一阶谓词逻辑一阶谓词逻辑 产生式表示法：产生式表示法：产生式规则产生式规则 结构表示法：结构
11、表示法：语义网络，框架语义网络，框架 过程表示法：过程表示法：7第第2章章 知识表示知识表示 2.1 知识表示与知识表示的概念知识表示与知识表示的概念 2.2 一阶谓词逻辑表示法一阶谓词逻辑表示法 2.3 产生式表示法产生式表示法 2.4 语义网络表示法语义网络表示法 2.5 框架表示法框架表示法 2.6 过程表示法过程表示法82.2 一阶谓词逻辑表示法一阶谓词逻辑表示法 主要讨论主要讨论一阶谓词逻辑表示的逻辑学基础一阶谓词逻辑表示的逻辑学基础 命题和真值；论域和谓词；连词和量词；命题和真值；论域和谓词；连词和量词；项与合式公式；自由变元与约束变元项与合式公式；自由变元与约束变元谓词逻辑表示方
12、法谓词逻辑表示方法谓词逻辑表示的应用谓词逻辑表示的应用谓词逻辑表示的特性谓词逻辑表示的特性 一阶谓词逻辑表示法是一种基于数理逻辑的表示方法。一阶谓词逻辑表示法是一种基于数理逻辑的表示方法。数理逻辑是一门研究推理的学科。可分为：数理逻辑是一门研究推理的学科。可分为：一阶经典逻辑：一阶经典逻辑：一阶经典命题逻辑，一阶经典谓词逻辑一阶经典命题逻辑，一阶经典谓词逻辑 非一阶经典逻辑：非一阶经典逻辑：指除经典逻辑以外的那些逻辑，例如：二阶逻指除经典逻辑以外的那些逻辑，例如：二阶逻辑，多值逻辑，模糊逻辑等。辑，多值逻辑，模糊逻辑等。92.2.1一阶谓词逻辑表示的逻辑学基础一阶谓词逻辑表示的逻辑学基础命题与
13、真值命题与真值命题的定义：命题的定义：断言：断言：定义定义2.1 一个陈述句称为一个断言一个陈述句称为一个断言.命题：命题：具有真假意义的断言称为命题具有真假意义的断言称为命题.命题的真值：命题的真值：T：表示命题的意义为真表示命题的意义为真 F：表示命题的意义为假表示命题的意义为假命题真值的说明命题真值的说明 一个命题不能同时既为真又为假一个命题不能同时既为真又为假 一个命题可在一定条件下为真，而在另一条件下为假一个命题可在一定条件下为真，而在另一条件下为假102.2.1一阶谓词逻辑表示的逻辑学基础一阶谓词逻辑表示的逻辑学基础论域和谓词论域和谓词(1/2)论域：论域：由所讨论对象的全体构成的
14、集合。亦称为个体域由所讨论对象的全体构成的集合。亦称为个体域个体：个体：论域中的元素论域中的元素谓词：谓词：在谓词逻辑中命题是用形如在谓词逻辑中命题是用形如P(x1,x2,xn)的谓词来表示的的谓词来表示的 谓词名：是命题的谓语，表示个体的性质、状态或个体之间的关系谓词名：是命题的谓语，表示个体的性质、状态或个体之间的关系 个体：是命题的主语，表示独立存在的事物或概念个体：是命题的主语，表示独立存在的事物或概念 定义定义2.2 设设D是个体域，是个体域，P：DnT，F是一个映射，其中是一个映射，其中 则称则称P是一个是一个n元谓词，记为元谓词，记为P(x1,x2,xn)，其中，其中，x1,x2
15、,xn为个体，可为个体，可以是个体常量、变元和函数。以是个体常量、变元和函数。例如：例如：GREATER(x,6)x大于大于6 TEACHER(father(Wang Hong)王宏的父亲是一位教师王宏的父亲是一位教师,|),(2121DxxxxxxDnnn 112.2.1一阶谓词逻辑表示的逻辑学基础一阶谓词逻辑表示的逻辑学基础论域和谓词论域和谓词(2/2)函数：函数：定义定义2-3 设设D是个体域，是个体域，f：DnD是一个映射，其中是一个映射，其中则称则称f f是是D D上的一个上的一个n n元函数，记作元函数，记作 f(xf(x1 1,x,x2 2,x xn n)谓词与函数的区别：谓词与
16、函数的区别：谓词是谓词是D到到T，F的映射，函数是的映射，函数是D到到D的映射的映射 谓词的真值是谓词的真值是T和和F，函数的值（无真值）是函数的值（无真值）是D中的元素中的元素 谓词可独立存在，函数只能作为谓词的个体谓词可独立存在，函数只能作为谓词的个体,|),(2121DxxxxxxDnnn 122.2.1一阶谓词逻辑表示的逻辑基础一阶谓词逻辑表示的逻辑基础连词连词连词：连词：“非非”或者或者“否定否定”。表示对其后面的命题的否定。表示对其后面的命题的否定 ：“析取析取”。表示所连结的两个命题之间具有。表示所连结的两个命题之间具有“或或”的关系的关系：“合取合取”。表示所连结的两个命题之间
17、具有表示所连结的两个命题之间具有“与与”的关系。的关系。：“条件条件”或或“蕴含蕴含”。表示。表示“若若则则”的语义。读作的语义。读作“如果如果P，则，则Q”其中，其中，P称为条件的前件，称为条件的前件，Q称为条件的后件。称为条件的后件。：称为称为“双条件双条件”。它表示。它表示“当且仅当当且仅当”的语义。即读作的语义。即读作“P当且仅当当且仅当Q”。例如，对命题例如，对命题P和和Q，PQ表示表示“P当且仅当当且仅当Q”，PQPPQPQPQPQTTFTTTTTFFTFFFFTTTFTFFFTFFTT132.2.1一阶谓词逻辑表示的逻辑基础一阶谓词逻辑表示的逻辑基础量词量词量词：量词：全称量词，
18、意思是：全称量词，意思是“所有的所有的”、“任一个任一个”命题命题(x)P(x)为真，当且仅当对论域中的所有为真，当且仅当对论域中的所有x，都有都有P(x)为真为真 命题命题(x)P(x)为假，当且仅当至少存在一个为假，当且仅当至少存在一个xi D，使得使得P(xi)为假为假 ：存在量词，意思是：存在量词，意思是“至少有一个至少有一个”、“存在有存在有”命题命题(x)P(x)为真，当且仅当至少存在一个为真，当且仅当至少存在一个xi D，使得使得P(xi)为真为真 命题命题(x)P(x)为假，当且仅当对论域中的所有为假，当且仅当对论域中的所有x，都有都有P(x)为假为假 142.2.1一阶谓词逻
19、辑表示的逻辑基础一阶谓词逻辑表示的逻辑基础项与合式公式项与合式公式项项 定义定义2-4 项满足如下规则：项满足如下规则：(1)单独一个个体词是项；单独一个个体词是项；(2)若若t1,t2,tn是项，是项，f是是n元函数，则元函数，则f(t1,t2,tn)是项；是项；(3)由由(1)、(2)生成的表达式是项。生成的表达式是项。项是把个体常量、个体变量和函数统一起来的一念。项是把个体常量、个体变量和函数统一起来的一念。原子谓词公式原子谓词公式 定义定义2-5 原子谓词公式的含义为：原子谓词公式的含义为：若若t1,t2,tn是项，是项，P是谓词，则称是谓词，则称P(t1,t2,tn)为原子谓词公式。
20、为原子谓词公式。合式公式合式公式 定义定义2-6 满足如下规则的谓词演算可得到合式公式：满足如下规则的谓词演算可得到合式公式：(1)单个原子谓词公式是合式公式；单个原子谓词公式是合式公式；(2)若若A是合式公式，则是合式公式，则A也是合式公式；也是合式公式；(3)若若A,B是合式公式，则是合式公式，则AB，AB，AB，AB也都是合式公式；也都是合式公式；(4)若若A是合式公式，是合式公式，x是项，则是项，则(x)A(x)和和(x)A(x)都是合式公式。都是合式公式。例如，例如，P(x,y)Q(y)，(x)(A(x)B(x)，都是合式公式。都是合式公式。连词的优先级连词的优先级 ,152.2.1
21、一阶谓词逻辑表示的逻辑基础一阶谓词逻辑表示的逻辑基础自由变元与约束变元自由变元与约束变元辖域：辖域：指位于量词后面的单个谓词或者用括弧括起来的合式公式指位于量词后面的单个谓词或者用括弧括起来的合式公式约束变元：约束变元：辖域内与量词中同名的变元称为约束变元辖域内与量词中同名的变元称为约束变元自由变元：自由变元：不受约束的变元称为自由变元不受约束的变元称为自由变元 例子：例子：(x)(P(x，y)Q(x，y)R(x，y)其中，其中，(P(x，y)Q(x，y)是是(x)的辖域的辖域 辖域内的变元辖域内的变元x是受是受(x)约束的变元约束的变元 R(x，y)中的中的x和所有和所有的的y都是自由变元都
22、是自由变元变元的换名：变元的换名：谓词公式中的变元可以换名。但需注意：谓词公式中的变元可以换名。但需注意：第一：对约束变元，必须把同名的约束变元都统一换成另外一个相同的名第一：对约束变元，必须把同名的约束变元都统一换成另外一个相同的名字，且不能与辖域内的自由变元同名。字，且不能与辖域内的自由变元同名。例，对例，对(x)P(x，y)，可把约束变元，可把约束变元x换成换成z，得到公式得到公式(z)P(z，y)。第二：对辖域内的自由变元，不能改成与约束变元相同的名字。第二：对辖域内的自由变元，不能改成与约束变元相同的名字。例，对例，对(x)P(x，y)，可把可把y换成换成t，得到，得到(x)P(x，
23、t)，但不能换成，但不能换成x。162.2.2 谓词逻辑表示方法谓词逻辑表示方法(1/2)表示步骤：表示步骤：(1)先根据要表示的知识定义谓词先根据要表示的知识定义谓词 (2)再用连词、量词把这些谓词连接起来再用连词、量词把这些谓词连接起来例例2.1 表示知识表示知识“所有教师都有自己的学生所有教师都有自己的学生”。定义谓词：定义谓词：T(x)：表示表示x 是教师。是教师。S(y)：表示表示y是学生。是学生。TS(x,y)：表示表示x是是y的老师。的老师。表示知识：表示知识：(x)(y)(T(x)TS(x,y)S(y)可读作：对所有可读作：对所有x，如果如果x是一个教师，那么一定存在一个个体是
24、一个教师，那么一定存在一个个体y，y的的老师是老师是x，且，且y是一个学生。是一个学生。172.2.2 谓词逻辑表示方法谓词逻辑表示方法(2/2)例例2.2 表示知识表示知识“所有的整数不是偶数就是奇数所有的整数不是偶数就是奇数”。定义谓词：定义谓词：I(x)：x是整数，是整数，E(x)：x是偶数，是偶数，O(x)：x是奇数是奇数 表示知识：表示知识：(x)(I(x)E(x)O(x)例例2.3 表示如下知识：表示如下知识：王宏是计算机系的一名学生。王宏是计算机系的一名学生。王宏和李明是同班同学。王宏和李明是同班同学。凡是计算机系的学生都喜欢编程序。凡是计算机系的学生都喜欢编程序。定义谓词：定义
25、谓词：COMPUTER(x)：表示表示x是计算机系的学生。是计算机系的学生。CLASSMATE(x,y)：表示表示x和和y是同班同学。是同班同学。LIKE(x,y)：表示表示x喜欢喜欢y。表示知识：表示知识：COMPUTER(Wang Hong)CLASSMATE(Wang Hong,Li Ming)(x)(COMPUTER(x)LIKE(x,programming)182.2.3 谓词逻辑表示的应用谓词逻辑表示的应用机器人移盒子问题机器人移盒子问题(1/6)分别定义描述状态和动作的谓词分别定义描述状态和动作的谓词描述状态的谓词：描述状态的谓词：TABLE(x)：x是桌子是桌子 EMPTY(y
26、)：y手中是空的手中是空的 AT(y,z)：y在在z处处 HOLDS(y,w)：y拿着拿着w ON(w,x)：w在在x桌面上桌面上 变元的个体域：变元的个体域：x的个体域是的个体域是a,b y的个体域是的个体域是robot z的个体域是的个体域是a,b,c w的个体域是的个体域是boxabc192.2.3 谓词逻辑表示的应用谓词逻辑表示的应用机器人移盒子问题机器人移盒子问题(2/6)问题的初始状态：问题的初始状态：AT(robot,c)EMPTY(robot)ON(box,a)TABLE(a)TABLE(b)问题的目标状态：问题的目标状态：AT(robot,c)EMPTY(robot)ON(b
27、ox,b)TABLE(a)TABLE(b)机器人行动的目标把问题的初始状态转换为目标状态，而要实现问题机器人行动的目标把问题的初始状态转换为目标状态，而要实现问题状态的转换需要完成一系列的操作状态的转换需要完成一系列的操作202.2.3 谓词逻辑表示的应用谓词逻辑表示的应用机器人移盒子问题机器人移盒子问题(3/6)描述操作的谓词描述操作的谓词 条件部分：条件部分：用来说明执行该操作必须具备的先决条件用来说明执行该操作必须具备的先决条件 可用谓词公式来表示可用谓词公式来表示 动作部分：动作部分：给出了该操作对问题状态的改变情况给出了该操作对问题状态的改变情况 通过在执行该操作前的问题状态中删去和
28、增加相应的谓词来实现通过在执行该操作前的问题状态中删去和增加相应的谓词来实现 需要定义的操作：需要定义的操作：Goto(x,y)：从：从x处走到处走到y处。处。Pickup(x)：在：在x处拿起盒子。处拿起盒子。Setdown(y)：在：在x处放下盒子。处放下盒子。212.2.3 谓词逻辑表示的应用谓词逻辑表示的应用机器人移盒子问题机器人移盒子问题(4/6)各操作的条件和动作：各操作的条件和动作：Goto(x，y)条件：条件：AT(robot，x)动作：删除表：动作：删除表：AT(robot，x)添加表：添加表：AT(robot，y)Pickup(x)条件：条件：ON(box，x)，TABLE
29、(x)，AT(robot，x)，EMPTY(robot)动作：删除表：动作：删除表：EMPTY(robot)，ON(box，x)添加表：添加表：HOLDS(robot，box)Setdown(x)条件：条件：AT(robot，x)，TABLE(x)，HOLDS(robot，box)动作：删除表：动作：删除表：HOLDS(robot，box)添加表：添加表：EMPTY(robot)，ON(box，x)机器人每执行一操作前，都要检查该操作的先决条件是否可以满足。机器人每执行一操作前，都要检查该操作的先决条件是否可以满足。如果满足，就执行相应的操作；否则再检查下一个操作。如果满足，就执行相应的操作；
30、否则再检查下一个操作。222.2.3 谓词逻辑表示的应用谓词逻辑表示的应用机器人移盒子问题机器人移盒子问题(5/6)这个机器人行动规划问题的求解过程如下：这个机器人行动规划问题的求解过程如下：状态状态1(初始状态初始状态)AT(robot,c)开始开始 EMPTY(robot)=ON(box,a)TABLE(a)TABLE(b)状态状态2 AT(robot,a)Goto(c,a)EMPTY(robot)=ON(box,a)TABLE(a)TABLE(b)状态状态3 AT(robot,a)Pickup(a)HOLDS(robot,box)=TABLE(a)TABLE(b)232.2.3 谓词逻辑
31、表示的应用谓词逻辑表示的应用机器人移盒子问题机器人移盒子问题(6/6)状态状态4 AT(robot,b)Goto(a,b)HOLDS(robot,box)=TABLE(a)TABLE(b)状态状态5 AT(robot,b)Setdown(b)EMPTY(robot)=ON(box,b)TABLE(a)TABLE(b)状态状态6(目标状态目标状态)AT(robot,c)Goto(b,c)EMPTY(robot)=ON(box,b)TABLE(a)TABLE(b)242.2.3 谓词逻辑表示的应用谓词逻辑表示的应用猴子摘香蕉问题猴子摘香蕉问题(1/3)描述状态的谓词：描述状态的谓词：AT(x,y)
32、：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，HBabc252.2.3 谓词逻辑表示的应用谓词逻辑表示的应用猴子摘香蕉问题猴子摘香蕉问题(2/3)描述操作的谓词描述操作的谓词 Goto(u,v)：猴子从猴子从u处走到处走到v处处 Pushbox(v,w)：猴子推着箱子从猴子推着箱子从v处移到处移到w处处 Cli
33、mbbox：猴子爬上箱子猴子爬上箱子 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)262.2.3 谓词逻辑表示的应用谓词逻辑表示的应用猴子摘香蕉问题猴子摘香蕉问题(3/3)Climbb
34、ox 条件：条件：ONBOX，AT(monkey,w)，AT(box,w)动作：删除表：动作：删除表：ONBOX 添加表：添加表：ONBOX Grasp 条件：条件：ONBOX，AT(box,c)动作：删除表：动作：删除表：HB 添加表：添加表：HB272.2.4 谓词逻辑表示的特征谓词逻辑表示的特征主要优点主要优点 自然：自然：一阶谓词逻辑是一种接近于自然语言的形式语言系统，谓词逻一阶谓词逻辑是一种接近于自然语言的形式语言系统，谓词逻辑表示法接近于人们对问题的直观理解辑表示法接近于人们对问题的直观理解 明确：明确：有一种标准的知识解释方法，因此用这种方法表示的知识明确、有一种标准的知识解释方
35、法，因此用这种方法表示的知识明确、易于理解易于理解 精确：精确：谓词逻辑的真值只有谓词逻辑的真值只有“真真”与与“假假”，其表示、推理都是精确，其表示、推理都是精确的的 灵活：灵活：知识和处理知识的程序是分开的，无须考虑处理知识的细节知识和处理知识的程序是分开的，无须考虑处理知识的细节 模块化：模块化：知识之间相对独立，这种模块性使得添加、删除、修改知识知识之间相对独立，这种模块性使得添加、删除、修改知识比较容易进行比较容易进行主要缺点主要缺点 知识表示能力差：知识表示能力差：只能表示确定性知识，而不能表示非确定性知识、过只能表示确定性知识，而不能表示非确定性知识、过程性知识和启发式知识程性知
36、识和启发式知识 知识库管理困难：知识库管理困难：缺乏知识的组织原则，知识库管理比较困难缺乏知识的组织原则，知识库管理比较困难 存在组合爆炸：存在组合爆炸：由于难以表示启发式知识，因此只能盲目地使用推理规由于难以表示启发式知识，因此只能盲目地使用推理规则，这样当系统知识量较大时，容易发生组合爆炸则，这样当系统知识量较大时，容易发生组合爆炸 系统效率低：系统效率低：它把推理演算与知识含义截然分开，抛弃了表达内容中所它把推理演算与知识含义截然分开，抛弃了表达内容中所含有的语义信息，往往使推理过程冗长，降低了系统效率含有的语义信息，往往使推理过程冗长，降低了系统效率28第第2章章 知识表示知识表示 2
37、.1 知识表示与知识表示的概念知识表示与知识表示的概念 2.2 一阶谓词逻辑表示法一阶谓词逻辑表示法 2.3 产生式表示法产生式表示法 2.4 语义网络表示法语义网络表示法 2.5 框架表示法框架表示法 2.6 过程表示法过程表示法292.3 产生式表示法产生式表示法 产生式（产生式（Production）是目前人工智能中使用最多的一种知识表示方是目前人工智能中使用最多的一种知识表示方法法 2.3.1 产生式表示的基本方法产生式表示的基本方法 事实的表示事实的表示 规则的表示规则的表示 产生式与蕴含式的区别产生式与蕴含式的区别 产生式与条件语句的区别产生式与条件语句的区别 2.3.2 产生式系
38、统的基本结构产生式系统的基本结构 2.3.3 产生式系统的基本过程产生式系统的基本过程 2.3.4 产生式系统的控制策略产生式系统的控制策略 2.3.5 产生式系统的类型产生式系统的类型 2.3.6 产生式系统的特性产生式系统的特性302.3.1 产生式表示的基本方法产生式表示的基本方法事实的表示事实的表示事实的定义事实的定义 事实是断言一个语言变量的值或断言多个语言变量之间关系的陈述句事实是断言一个语言变量的值或断言多个语言变量之间关系的陈述句 语言变量的值或语言变量之间的关系可以是数字、词等语言变量的值或语言变量之间的关系可以是数字、词等 例如：例如：“雪是白的雪是白的”，其中，其中“雪雪
39、”是语言变量，是语言变量，“白的白的”是语言变量是语言变量的值的值 “王峰热爱祖国王峰热爱祖国”，其中，其中，“王峰王峰”和和“祖国祖国”是两个语言变量是两个语言变量,“热爱热爱”是语言变量之间的关系是语言变量之间的关系事实的表示事实的表示 确定性知识，事实可用如下三元组表示：确定性知识，事实可用如下三元组表示：（对象，属性，值）或（关系，对象（对象，属性，值）或（关系，对象1，对象，对象2）其中，对象就是语言变量。例如：其中，对象就是语言变量。例如：(snow,color,white)或（雪，颜色，白）或（雪，颜色，白）(love,Wang Feng,country)或（热爱，王峰，祖国）或
40、（热爱，王峰，祖国）非确定性知识，事实可用如下四元组表示：非确定性知识，事实可用如下四元组表示：（对象，属性，值，可信度因子）（对象，属性，值，可信度因子）其中，其中，“可信度因子可信度因子”是指该事实为真的相信程度。可用是指该事实为真的相信程度。可用0,1之间的一个之间的一个实数来表示。实数来表示。312.3.1 产生式表示的基本方法产生式表示的基本方法规则的表示规则的表示规则的作用规则的作用 描述事物之间的因果关系。描述事物之间的因果关系。规则的产生式表示形式常称为产生式规则，简称为产生式或规则。规则的产生式表示形式常称为产生式规则，简称为产生式或规则。产生式的基本形式产生式的基本形式 P
41、Q 或者或者 IF P THEN Q P是产生式的前提，是产生式的前提，也称为前件，它给出了该产生式可否使用的先决也称为前件，它给出了该产生式可否使用的先决条件，由事实的逻辑组合来构成；条件，由事实的逻辑组合来构成；Q是一组结论或操作，是一组结论或操作，也称为产生式的后件，它指出当前题也称为产生式的后件，它指出当前题P满足时，满足时，应该推出的结论或应该执行的动作。应该推出的结论或应该执行的动作。产生式的含义产生式的含义 如果前提如果前提P满足，则可推出结论满足，则可推出结论Q或执行或执行Q所规定的操作所规定的操作产生式规则的例子产生式规则的例子 r6:IF 动物有犬齿动物有犬齿 AND 有爪
42、有爪 AND 眼盯前方眼盯前方 THEN 该动物是食肉动物该动物是食肉动物 其中，其中，r6是该产生式的编号；是该产生式的编号；“动物有犬齿动物有犬齿 AND 有爪有爪 AND 眼盯前方眼盯前方”是产生式的前提是产生式的前提P；“该动物是食肉动物该动物是食肉动物”是产生式的结论是产生式的结论Q。322.3.1 产生式表示的基本方法产生式表示的基本方法产生式与蕴涵式、条件语句的区别产生式与蕴涵式、条件语句的区别与蕴涵式的主要区别：与蕴涵式的主要区别：(1)蕴涵式表示的知识只能是精确的，产生式表示的知识可以是不确定的蕴涵式表示的知识只能是精确的，产生式表示的知识可以是不确定的 原因是蕴涵式是一个逻
43、辑表达式，其逻辑值只有真和假。原因是蕴涵式是一个逻辑表达式，其逻辑值只有真和假。(2)蕴含式的匹配一定要求是精确的，而产生式的匹配可以是不确定的蕴含式的匹配一定要求是精确的，而产生式的匹配可以是不确定的 原因是产生式的前提条件和结论都可以是不确定的，因此其匹配也可以是原因是产生式的前提条件和结论都可以是不确定的，因此其匹配也可以是不确定的。不确定的。与条件语句的主要区别：与条件语句的主要区别：(1)前件结构不同前件结构不同 产生式的前件可以是一个复杂的的结构产生式的前件可以是一个复杂的的结构 传统程序设计语言中的左部仅仅是一个布尔表达式传统程序设计语言中的左部仅仅是一个布尔表达式 (2)控制流
44、程不同控制流程不同 产生式系统中满足前提条件的规则被激活后，不一定被立即执行，能否执产生式系统中满足前提条件的规则被激活后，不一定被立即执行，能否执行将取决于冲突消解策略行将取决于冲突消解策略 传统程序设计语言中是严格地从一个条件语句向其下一个条件语句传递。传统程序设计语言中是严格地从一个条件语句向其下一个条件语句传递。332.3.2 产生式系统的基本结构产生式系统的基本结构系统结构及其说明系统结构及其说明(1/2)综合数据库综合数据库DB(Data Base)存放求解问题的各种当前信息存放求解问题的各种当前信息 如：问题的初始状态如：问题的初始状态 输入的事实输入的事实 中间结论及最终结论等
45、中间结论及最终结论等 用于推理过程的规则匹配用于推理过程的规则匹配 推理过程中，当规则库中某条推理过程中，当规则库中某条规则的前提可以和综合数据库的已规则的前提可以和综合数据库的已知事实匹配时，该规则被激活，由它推出的结论将被作为新的事实放入综知事实匹配时，该规则被激活，由它推出的结论将被作为新的事实放入综合数据库，成为后面推理的已知事实。合数据库，成为后面推理的已知事实。规则库规则库RB(Rule Base)也称知识库也称知识库KB(Knowledge Base),用于存放与求解问题有关的所有规则用于存放与求解问题有关的所有规则的集合的集合 作用：作用：是产生式系统问题求解的基础是产生式系统
46、问题求解的基础 要求：要求：知识的完整性、一致性、准确性、灵活性和知识组织的合理性知识的完整性、一致性、准确性、灵活性和知识组织的合理性控控 制制 系系 统统规规 则则 库库综合数据库综合数据库342.3.2 产生式系统的基本结构产生式系统的基本结构系统结构及其说明系统结构及其说明(2/2)控制系统控制系统(Control system)控制系统的主要作用控制系统的主要作用 亦称推理机，用于控制整个产生式系统的运行，决定问题求解过程的亦称推理机，用于控制整个产生式系统的运行，决定问题求解过程的推理线路。推理线路。控制系统的主要任务控制系统的主要任务 选择匹配：选择匹配：按一定策略从规则库种选择
47、规则与综合数据库中的已知事按一定策略从规则库种选择规则与综合数据库中的已知事实进行匹配。匹配是指把所选规则的前提与综合数据库中的已知事实进行实进行匹配。匹配是指把所选规则的前提与综合数据库中的已知事实进行比较，若事实库中存的事实与所选规则前提一致，则称匹配成功，该规则比较，若事实库中存的事实与所选规则前提一致，则称匹配成功，该规则为可用；否则，称匹配失败，该规则不可用。为可用；否则，称匹配失败，该规则不可用。冲突消解：冲突消解：对匹配成功的规则，按照某种策略从中选出一条规则执行。对匹配成功的规则，按照某种策略从中选出一条规则执行。执行操作：执行操作：对所执行的规则，若其后件为一个或多个结论，则
48、把这些结对所执行的规则，若其后件为一个或多个结论，则把这些结论加入综合数据库；若其后件为一个或多个操作时，执行这些操作。论加入综合数据库；若其后件为一个或多个操作时，执行这些操作。终止推理：终止推理：检查综合数据库中是否包含有目标，若有，则停止推理。检查综合数据库中是否包含有目标，若有，则停止推理。路径解释：路径解释：在问题求解过程中，记住应用过的规则序列，以便最终能够在问题求解过程中，记住应用过的规则序列，以便最终能够给出问题的解的路径。给出问题的解的路径。352.3.2 产生式系统的基本结构产生式系统的基本结构产生式系统的例子产生式系统的例子(1/4)动物识别系统动物识别系统 该系统可以识
49、别老虎、金钱豹、斑马、长颈鹿、企鹅、信天翁这该系统可以识别老虎、金钱豹、斑马、长颈鹿、企鹅、信天翁这6种动种动物。其规则库包含如下物。其规则库包含如下15条规则：条规则：r1 IF 该动物有毛发该动物有毛发 THEN 该动物是哺乳动物该动物是哺乳动物 r2 IF 该动物有奶该动物有奶 THEN 该动物是哺乳动物该动物是哺乳动物r3 IF 该动物有羽毛该动物有羽毛 THEN 该动物是鸟该动物是鸟r4 IF 该动物会飞该动物会飞 AND 会下蛋会下蛋 THEN 该动物是鸟该动物是鸟r5 IF 该动物吃肉该动物吃肉 THEN 该动物是食肉动物该动物是食肉动物r6 IF 该动物有犬齿该动物有犬齿 AN
50、D 有爪有爪 AND 眼盯前方眼盯前方 THEN 该动物是食肉动物该动物是食肉动物r7 IF 该动物是哺乳动物该动物是哺乳动物 AND 有蹄有蹄 THEN 该动物是有蹄类动物该动物是有蹄类动物r8 IF 该动物是哺乳动物该动物是哺乳动物 AND 是嚼反刍动物是嚼反刍动物 THEN 该动物是有蹄类动物该动物是有蹄类动物r9 IF 该动物是哺乳动物该动物是哺乳动物 AND 是食肉动物是食肉动物 AND 是黄褐色是黄褐色 AND 身上有暗斑点身上有暗斑点 THEN 该动物是金钱豹该动物是金钱豹362.3.2 产生式系统的基本结构产生式系统的基本结构产生式系统的例子产生式系统的例子(2/4)r10 I
