《数据挖掘与知识发现(讲稿21---知识表示)》由会员分享，可在线阅读，更多相关《数据挖掘与知识发现(讲稿21---知识表示)（29页珍藏版）》请在金锄头文库上搜索。
1、第2章 知识表示知识表示是人工智能研究中极为重要的研究课题之一。无论应用人工智能技术解决什么问题，首先遇到的就是所涉及的各类知识如何加以表示。不同的知识有不同的表示方法，研究知识表示方法，不单是解决如何将知识存储在计算机中，更重要的是应该能够方便和正确地使用知识。合理的知识表示，可以使问题求解变得容易，并且有较高的求解效率。评价一个好的知识表示系统应具有以下几点： 具有表示某个专门领域所需要的知识能力，并保证知识库中的知识是相容的； 具有从已知知识推导出新知识的能力，容易建立表达新知识所需要的新结构； 便于新知识的获取，最简单的情况是能够由人直接输入知识到知识库中； 便于将启发式知识附加到知识
2、结构中，以便把推理集中在最希望的方向上。为了实现上述目标，人们至今已提出了几十种甚至上百种的知识表示方法。但没有一种表示能包打天下。较为常见的知识表示方法有：l 一阶谓词逻辑表示 l 产生式表示或称规则表示 l 语义网表示 l 框架表示 l 面象对象表示l 过程表示l 脚本表示l 神经元表示l 特性表表示2.1一阶谓词逻辑表示谓词逻辑是一种形式语言，也是目前能够表达人类思维活动的一种最精确的语言。它与人类的自然语言比较接近，即可方便地存储到计算机中，又可被计算机进行精确处理。因此，谓词逻辑是最早且最主要用于人工智能知识描述的方法之一。它是一种基于数理逻辑的知识表示方式。而数理逻辑是一门研究推理
3、的科学，它作为人工智能的基础，在人工智能的发展中占有重要地位。人工智能中用到的逻辑可分为两大类： 一阶经典命题逻辑和谓词逻辑 除经典以外的那些逻辑2.1.1一阶谓词逻辑表示的逻辑基础谓词逻辑是在命题逻辑的基础上发展起来的，为此先讨论一阶谓词逻辑知识表示中所需要的一些逻辑基础。如命题、谓词、连接词、量词、谓词公式等。 1. 命题和真值定义2.1：一个陈述句称为一个断言。凡有真假意义的断言称为命题。（即可以确定真假意义的陈述句）注： 命题的意义通常称为真值，它只有真（T）假（F）两种情况。 在命题逻辑中，命题通常用大写的英文字母来表示。一个命题不能同时为真又为假。 一个命题可在一定条件下为真，在另
4、一条件下为假。如，P：“北京今天有雨”，需根据当天的情况决定其真值。 没有真假意义的感叹句、疑问句等都不是命题。如，P：今天好冷呀！；Q：今天的温度有多少度？ 命题的优点是简单、明确；缺点是无法描述客观事物的结构及其逻辑特征，也无法表示不同事物间的共性。如，“杨青是教师”和“李文是教师”这两个命题，用命题逻辑表示时，无法把两人都是教师这一共同特征表示出来。 2. 论域和谓词 论域是由所讨论对象之全体构成的非空集合。论域中的元素称为个体。论域又称个体域。在谓词逻辑中，命题是用谓词表示的。一个谓词可分为：谓词名和个体两部分。其中，个体是用来表示某个独立存在的事物或者某个抽象的概念；谓词名是用来表示
5、个体的性质、状态或个体之间的关系等。通常，谓词名用大写英文字母表示，个体用小写英文字母表示。如：王宏是学生 谓词表示为：STUDENT（Wanghong） 桂林山水甲天下 谓词表示为：甲天下（桂林山水） 桂林在广西的北部 谓词表示为：在（北部，桂林，广西） 广西师大校园坐落在桂林 谓词表示为：坐落在（广西师大校园，桂林） 全州是桂林的县 谓词表示为：县（全州，桂林） x6 谓词表示为：Greater(x,6) 王宏的父亲是教师 谓词表示为：TEACHER（father(Wanghong)） 谓词的形式定义如下：定义2.2 设D是个体域，P:是一个映射，其中 则称P是一个n元谓词。记为：，是个体
6、。注：在谓词中，个体可以是常量、变元或函数。函数的定义形式为： 定义2.3 设D是个体域，的一个映射，则称是D上的一个n元函数。记作：，是个体。说明： 谓词和函数的定义形式相似，但却是两个不同的概念。 谓词的真值是T或F，而函数无真值可言，其值是D中的某个个体。 谓词实现的是从个体域中的个体到T或F的映射，而函数实现的是同一个体域中从一个个体到另一个个体的映射。 在谓词逻辑中，函数本身不能单独使用，它必须嵌入到谓词中。 如果中的个体都是常量、变元或函数，则称其为一阶谓词。若某个本身又是另一个一阶谓词，则称它为二阶谓词。3. 连接词和量词连接词是用来连接简单命题，并由简单命题构成复合命题的逻辑运
7、算符号。在一阶谓词逻辑中，有5个连接词和2个量词。由于命题逻辑可看作谓词逻辑的一种特殊形式，因此5个连接词同样适应于命题逻辑，但2个量词仅适应在于谓词逻辑。：称为“非”。它表示其后命题的否定：称为“析取”。它表示所连接的两个命题之间具有“或”的关系：称为“合取”。它表示所连接的两个命题之间具有“与”的关系：称为“条件”或“蕴含”。它表示“若则”的语义。如，表示“P蕴含Q”，读作：“如果P，则Q”，其中P称为条件的前件，Q称为条件的后件。：称为“双条件”。它表示“当且仅当”的语义。如，表示P当且仅当Q，即读作“P当且仅当Q”。谓词逻辑真值表PQTTFTTTTTFFTFFFFTTTFTFFFTFF
8、TT在一阶谓词逻辑中，引入了2个量词符号：全程量词符号和存在量词符号。-所有的，任一个-至少有一个，存在有量词是由量词符号和被其量化的变元所组成的表达式，是用来对谓词中的个体作出量的规定。如，“对论域中的所有个体”，表示为；“对论域中的某个个体”，表示为。命题为真，当且仅当论域中的所有，都有为真命题为真，当且仅当论域中至少存在一个，使得为真 4. 项与合式公式在一阶谓词逻辑中，合法的表达式称为合式公式（即谓词公式）。定义2.4 项满足如下规则：（1） 单独一个个体词是项；（2） 若是项，是n元函数，则是项；（3） 由（1）、（2）生成的表达式是项。可见，项是把个体常量、个体变量和函数统一起来的
9、概念。定义2.5 原子谓词公式的含义为： 若是项，P是谓词符号，则称P()为原子谓词公式。定义2.6 满足如下规则的谓词演算可得到合式公式：（1） 单个原子谓词公式是合式公式；（2） 若A是合式公式，则也是合式公式；（3） 若A、B是合式公式，则也都是合式公式；（4） 若A是合式公式，是项，则和也都是合式公式。注：在合式公式中，连接词之间的优先级顺序为： 5. 自由变元和约束变元当一个谓词公式含有量词时，通常把位于量词后面的单个谓词或者用括弧括起来的合式公式称为该量词的辖域。辖域内与量词中同名的变元称为约束变元，不受约束的变元称为自由变元。如 这里，是的辖域，其中的是的约束变元；中的是自由变元
10、。公式中所有的都是自由变元。注：在谓词公式中，变元的名字是无关紧要的，可以把一个名字换成别的名字。换名时注意两点：当对量词辖域内的约束变元更名时，必须把同名的约束变元都统一换成另外一个相同的名字，且不能与辖域内的自由变元同名；当对辖域内自由变元更名时，不能改成与约束变元同名。如上例可表示为：命题公式是谓词公式的一种特殊情况，也可用连接词把单个命题连接起来构成合式公式。如，都是命题公式。2.1.2谓词逻辑的知识表示方法谓词逻辑不仅可以用来表示事物的状态、属性、概念等事实性知识，也可以用来表示事物的因果关系。对事实性知识，常用符号连接起来的谓词公式表示。对事物间的因果关系，通常用蕴含式表示。如，对
11、“如果则”可表示为“”当用谓词逻辑表示知识时，先要根据所表示的知识定义谓词，然后再用连接词或者量词把这些词连接起来，形成一个谓词公式。例1 用谓词逻辑表示知识“每个人都有一个父亲”。谓词： PERSON（x）：表示x是人 HASFATHER（x,y）：表示x有父亲y则该知识可用谓词表示为： 例2 用谓词逻辑表示知识“所有教师都有自己的学生”。谓词： TEACHER（x）：表示x是教师 STUDENT（y）：表示y是学生 TEACHERS（x,y）：表示x是y的老师则该知识可用谓词表示为： 例3 用谓词逻辑表示知识“所有的整数不是偶数就是奇数”。谓词： I(x): x是整数 E(x):x是偶数
12、O(x):x是奇数 则该知识可用谓词表示为： 例4 用谓词逻辑表示知识：王宏是计算机系的一名学生。李明是王宏的同班同学。凡是计算机系的学生都喜欢编程序。谓词： COMPUTER(x): 表示x是计算系的学生 CLASSMATE(x,y): 表示x是y的同班同学 LIKE(x,y): 表示x喜欢y则上述知识表示为： COMPUTER(Wanghong) CLASSMATE(Liming,Wanghong) 2.1.3谓词逻辑表示的应用 示例1 机器人移盒子问题设在一房间里，c处有一个机器，a和b处各有一张桌子，分别称为a桌和b桌，a桌上有一盒子，如图所示。要求机器人从c处出发把盒子从a桌拿到b桌
13、子上，然后再回到c处。试用谓词逻辑来描述机器人的行动过程。分析：此例中的谓词公式，不仅要用来描述事物的状态、位置，而且还要用来表示动作。定义的谓词：TABLE(x)：x是桌子 EMPTY(y)：y手中是空中 AT(y,z): y在z的附近 HOLDS(y,w): y拿着w ON(w,x)：w在x桌面上由此知，问题的初始状态是： 问题的目标状态： AT(robot,c) AT(robot,c) EMPTY(robot) EMPTY(robot) ON(box,a) ON(box,b)TABLE(a) TABLE(a)TABLE(b) TABLE(b)显然，机器人行动的目标是把问题的初始状态转换为目标状态。而要实现问题的状态转换，则需要完成一系列的操作。对于每个操作，一般都可分为条件和动作部分。条件部分用来说明执行该操作必须具备的先决条件，动作部分给出了该操作对问题状态的改变情况。条件部分可用谓词公式来表示，动作部分则是通过在执行该操作前的问题状态中删去和增加相应的谓
