《人工智能课件 2[1].2--谓词逻辑表示法》由会员分享,可在线阅读,更多相关《人工智能课件 2[1].2--谓词逻辑表示法(39页珍藏版)》请在金锄头文库上搜索。
1、2.2 谓词逻辑表示法,第2章 知识表示,2.1 概 述,2020/9/17,1,中国矿业大学计算机学院,2.2 谓词逻辑表示法,谓词逻辑表示法是一种重要的知识表示方法,是到目前为止能够表示人类思维活动规律的一种最精确的形式语言,是知识的形式化表示、定理的自动证明等研究的基础,在人工智能中具有重要的作用。,2020/9/17,2,中国矿业大学计算机学院,2.2.1 命题逻辑,1.命题的含义: 在逻辑系统中,最简单的逻辑系统是命题逻辑。所谓命题就是具有真假意义的陈述句。如“今天下雨”、“雪是黑的”、“1+100=101”、“人是会死的”等等。这些句子在特殊的情况下都具有 “真 (Ture)”和
2、“假(False)”的意义,都是命题。 一个命题总是具有一个值,称为真值。真值只有“真”和“假”两种,一般分别用符号T和F表示。,2020/9/17,3,中国矿业大学计算机学院,命题有两种类型: (1)原子命题:不能分解成更简单的陈述语句,称为原子命题。 (2)复合命题:由连接词、标点符号和原子命题等复合构成的命题,称为复合命题。,2.命题类型:,注意:所有这些命题都应具有确定的真值。,2020/9/17,4,中国矿业大学计算机学院,所谓命题逻辑就是研究命题和命题之间关系的符号逻辑系统。通常用大写字母P、Q、R、S等来表示命题。如: P:今天下雨 P就是表示 “今天下雨”这个命题的名。表示命题
3、的符号称为命题标识符,P就是命题标识符。,3.命题逻辑,2020/9/17,5,中国矿业大学计算机学院,命题常量:如果一个命题标识符表示确定的命题,就称为命题常量。 命题变元:如果命题标识符只表示任意命题的位置标志,就称为命题变元。,介绍几个概念,2020/9/17,6,中国矿业大学计算机学院,注意: (1)因为命题变元可以表示任意命题,所以它不能确定真值,故命题变元不是命题。 (2)当命题变元P用一个特定的命题取代时,P才能确定真值,这时也称为对P进行指派。 (3)当命题变元表示原子命题时,该变元称为原子变元。,2020/9/17,7,中国矿业大学计算机学院,谓词逻辑:根据对象和对象上的谓词
4、(即对象的属性和对象之间的关系),通过使用连接词和量词来表示世界。,谓词逻辑,主要思想:世界是由对象组成的,可以由标识符和属性来区分它们。在这些对象中,还包含着相互的关系。,2020/9/17,8,中国矿业大学计算机学院,在命题逻辑中,每个表达式都是句子,表示事实。 在谓词逻辑中,有句子,但是也有项,表示对象。常量符号、变量和函数符号用于表示项,量词和谓词符号用于构造句子。,注意:,2020/9/17,9,中国矿业大学计算机学院,4.语法,命题逻辑的符号包括以下几种: (1)命题常元:True(T)和False(F); (2)命题符号:P、Q、R、T等; (3)连接词: ; ; ; 。 (4)
5、括号:( )。,命题逻辑主要使用这5个连接词,通过这些连接词,可以由简单的命题构成复杂的复合命题。,2020/9/17,10,中国矿业大学计算机学院,5.语义,: 否定(Negation),复合命题Q表示否定Q的真值的命题,即“非Q” : 合取(Conjunction),复合命题PQ表示P和Q的合取,即“P与Q” : 析取(Disjunction),复合命题PQ表示P或Q的析取,即“P或Q”,2020/9/17,11,中国矿业大学计算机学院,5.语义, : 条件(Condition),复合命题PQ表示命题P是命题Q的条件,即“如果P,那么Q” : 双条件(Bicondition),复合命题PQ
6、表示命题P、命题Q相互作为条件,即“如果P,那么Q;如果Q,那么P”,2020/9/17,12,中国矿业大学计算机学院,注意:可以用真值表的方法表明连接词的功能:,2020/9/17,13,中国矿业大学计算机学院,2.2.2 谓词逻辑,一阶谓词演算 标点符号、括号、逻辑连接词、常量符号集、变量符号集、n元函数符号集、n元谓词符号集、量词 谓词演算 合法表达式 (原子公式、合式公式),表达式的演算化简方法,标准式 (合取的前束范式或析取的前束范式),1 语 法,2020/9/17,14,中国矿业大学计算机学院,语法元素 常量符号。 变量符号。 函数符号。 谓词符号。 连接词: 、 。 量词: 全
7、称量词、 存在量词。和后面跟着的x叫做量词的指导变元。,2020/9/17,15,中国矿业大学计算机学院,若函数符号f中包含的个体数目为n,则称f为n元函数符号。 若谓词符号P中包含的个体数目为n,则称P为n元谓词符号。 如:father(x)是一元函数,Less(x,y)是二元谓词. 一般一元谓词表达了个体的性质,而多元谓词表达了个体之间的关系.,2 基本概念,函数符号与谓词符号,2020/9/17,16,中国矿业大学计算机学院,如果谓词P中的所有个体都是个体常量、变元、或函数,则该谓词为一阶谓词。 如果谓词P中某个个体本身又是一个一阶谓词,则称P为二阶谓词。 余者类推。 个体变元的取值范围
8、称为个体域。个体域可以是有限的,也可以是无限的。把各种个体域综合在一起作为讨论的范围的域称为全总个体域。,谓词的阶,2020/9/17,17,中国矿业大学计算机学院,在一阶谓词逻辑中,称Teacher(father(Wang)中的father(Wang)为项,项可定义如下: 定义:项可递归定义如下: (1)单独一个个体是项 (包括常量和变量)。 (2)若f是n元函数符号,而t1,tn是项,则f(t1,tn)是项。 (3)任何项仅由规则(1)(2)所生成。,3 项与公式,2020/9/17,18,中国矿业大学计算机学院,原子公式 若P为n元谓词符号,t1,tn都是项,则称P(t1,tn)为原子公
9、式,简称原子。 在原子中,若t1,tn都不含变量,则P(t1,tn)是命题。,注意: 谓词逻辑可以由原子和5种逻辑连接词,再加上量词来构造复杂的符号表达式。这就是所谓的谓词逻辑中的公式。,2020/9/17,19,中国矿业大学计算机学院,一阶谓词逻辑的合式公式(可简称公式)可递归定义如下: (1)原子谓词公式是合式公式 (也称为原子公式)。 (2)若P、Q是合式公式,则(P)、(PQ)、(PQ)、(PQ)、(P Q)也是合式公式。 (3)若P是合式公式,x是任一个体变元,则 (x)P、(x)P也是合式公式。 (4)任何合式公式都由有限次应用(1)、(2)、(3)来产生。,2020/9/17,2
10、0,中国矿业大学计算机学院,一阶谓词逻辑公式的解释: 设D为谓词公式P的非空个体域,若对P中的个体常量、函数、谓词按如下规定赋值: (1)为每个个体常量指派D中的一个元素。 (2)为每个n元函数指派一个从 到D的映射,其中 (3)为每个n元谓词指派一个从 到T,F的映射。 则称这些指派为公式P在D上的一个解释。,2020/9/17,21,中国矿业大学计算机学院,(1)在谓词逻辑中,由于公式中可能含有个体常量、个体变元以及函数,因此不能像命题公式那样直接通过真值指派给出解释,必须首先考虑个体常量、和函数在个体域中的取值,然后才能针对常量和函数的具体取值为谓词分别指派真值。 (2)在给出一阶逻辑公
11、式的一个解释时,需要规定两件事情:公式中个体的定义域和公式中出现的常量、函数符号、谓词符号的定义。,4.注意:,2020/9/17,22,中国矿业大学计算机学院,例题分析:,设个体域D=1,2,求公式,在D上的解释,并指出在每一种解释下公式G的真值。,解:由于公式G没有包含个体常量和函数,因此可以直接为谓词指派真值,设,2020/9/17,23,中国矿业大学计算机学院,这就是公式G在D上的一个解释。从这个解释可以看出:,当x=1,y=1时,P(x,y)的真值为T; 当x=2,y=1时,P(x,y)的真值也为T;,即对x在D上任意取值,都存在y=1,使得P(x,y)的真值为T。因此,在该解释下,
12、公式G的真值为T。,值得注意的是: 一个谓词公式在其个体域上的解释不是唯一的。例如,对公式G,若给出另一组真值指派如下:,2020/9/17,24,中国矿业大学计算机学院,这也是公式G在D上的一个解释。从这个解释可以看出:,当x=1,y=1时,P(x,y)的真值为T; 当x=2,y=1时,P(x,y)的真值也为F;,同样,当x=1,y=2时,P(x,y)的真值为T; 当x=2,y=2时,P(x,y)的真值也为F;,2020/9/17,25,中国矿业大学计算机学院,即对x在D上任意取值,不存在一个y,使得P(x,y)的真值为T。因此,在该解释下,公式G的真值为F。,实际上,G在D上共有16种解释
13、,这里就不一一列举了。,注意: 一个公式的解释通常有任意多个,由于个体域D可以随意规定,而对一个给定的个体域D,对公式中出现的常量、函数符号和谓词符号的定义也是随意的,因此为此公式的真值都是针对某一个解释而言,它可能在某一个解释下为真,而在另一个解释为假。,2020/9/17,26,中国矿业大学计算机学院,5.谓词逻辑适用范围:,谓词逻辑适合于表示事物的状态、属性、概念等事实性知识,也可以用来表示事物间具有确定因果关系的规则性知识。,1)对事实性知识:可以使用谓词公式中的析取符号与合取符号连接起来的谓词公式来表示,如对下面句子: 张三是一名计算机系的学生,他喜欢编程序。 可以用谓词公式表示为
14、Computer(张三)Like(张三,programming) 其中:Computer(x)表示x是计算机系的学生, Like(x,y)表示x喜欢y,都是谓词。,2020/9/17,27,中国矿业大学计算机学院,2)对规则性知识:通常使用由蕴涵符号连接起来的谓词公式来表示,例如,对于 如果x,则y 用谓词公式表示为 xy,2020/9/17,28,中国矿业大学计算机学院,(1)定义谓词及个体,确定每个谓词及个体的确切含义; (2)根据所要表达的事物或概念,为每个谓词中的变元赋以特定的值; (3)根据所要表达的知识的语义,用适当的连接符将各个谓词连接起来形成谓词公式。,6.谓词逻辑表示步骤,从
15、上述两个例子我们总结一下用谓词公式表示知识的一般步骤如下:,2020/9/17,29,中国矿业大学计算机学院,例1:用谓词逻辑表示下列知识: 武汉是一个美丽的城市,但她不是一个沿海城市。 如果马亮是男孩,张红是女孩,则马亮比张红长得高。 解:按照知识表示步骤,用谓词公式表示上述知识。 第一步:定义谓词如下: BCity(x):x是一个美丽的城市 HCity(x):x是一个沿海城市 Boy(x):x是男孩 Girl(x):x是女孩 High(x,y):x比y长得高,7. 谓词逻辑表示知识的举例,2020/9/17,30,中国矿业大学计算机学院,这里涉及的个体有:武汉(wuhan),马亮(mal)
16、, 张红(zhangh) 第二步 将这些个体代入谓词中,得到 BCity(wuhan), HCity(wuhan), Boy(mal), Girl(zhangh), High(mal,zhangh) 第三步 根据语义,用逻辑连接符将它们连接起来,就得到了表示上述知识的谓词公司。 BCity(wuhan)HCity(wuhan) (Boy(mal)Girl(zhangh)High(mal,zhangh),2020/9/17,31,中国矿业大学计算机学院,解:首先定义谓词如下: Student(x):x是学生 Uniform(x,y):x穿y N(x):x是自然数 I(x):是整数 P(x):x是正数 Q(x):x是负数 L(x):x大于零 按照第二步和第三步的要求,上述知识可以用谓词公式分别表示为: (x)(Student(x)Uniform(x,color) (x)(I(x)P(x)Q(x) (x)(N(x)L(x)I(x),例2 用谓词逻辑表示下列知识: 所