人工智能ppt课件 212 谓词逻辑表示法.ppt

《人工智能ppt课件 212 谓词逻辑表示法.ppt》由会员分享，可在线阅读，更多相关《人工智能ppt课件 212 谓词逻辑表示法.ppt（39页珍藏版）》请在三一办公上搜索。

1、2022/12/11,中国矿业大学计算机学院,1,2.2 谓词逻辑表示法,第2章 知识表示,2.1 概 述,2022/12/11,中国矿业大学计算机学院,2,2.2 谓词逻辑表示法,谓词逻辑表示法是一种重要的知识表示方法,是到目前为止能够表示人类思维活动规律的一种最精确的形式语言,是知识的形式化表示、定理的自动证明等研究的基础，在人工智能中具有重要的作用。,2022/12/11,中国矿业大学计算机学院,3,2.2.1 命题逻辑,1.命题的含义： 在逻辑系统中，最简单的逻辑系统是命题逻辑。所谓命题就是具有真假意义的陈述句。如“今天下雨”、“雪是黑的”、“1+100=101”、“人是会死的”等等。

2、这些句子在特殊的情况下都具有 “真 (Ture)”和 “假（False)”的意义，都是命题。 一个命题总是具有一个值，称为真值。真值只有“真”和“假”两种，一般分别用符号T和F表示。,2022/12/11,中国矿业大学计算机学院,4,命题有两种类型： （1）原子命题：不能分解成更简单的陈述语句，称为原子命题。 （2）复合命题：由连接词、标点符号和原子命题等复合构成的命题，称为复合命题。,2.命题类型：,注意：所有这些命题都应具有确定的真值。,2022/12/11,中国矿业大学计算机学院,5,所谓命题逻辑就是研究命题和命题之间关系的符号逻辑系统。通常用大写字母P、Q、R、S等来表示命题。如： P

3、：今天下雨 P就是表示 “今天下雨”这个命题的名。表示命题的符号称为命题标识符，P就是命题标识符。,3.命题逻辑,2022/12/11,中国矿业大学计算机学院,6,命题常量：如果一个命题标识符表示确定的命题，就称为命题常量。 命题变元：如果命题标识符只表示任意命题的位置标志，就称为命题变元。,介绍几个概念,2022/12/11,中国矿业大学计算机学院,7,注意： （1）因为命题变元可以表示任意命题，所以它不能确定真值，故命题变元不是命题。 （2）当命题变元P用一个特定的命题取代时，P才能确定真值，这时也称为对P进行指派。 （3）当命题变元表示原子命题时，该变元称为原子变元。,2022/12/1

4、1,中国矿业大学计算机学院,8,谓词逻辑：根据对象和对象上的谓词（即对象的属性和对象之间的关系），通过使用连接词和量词来表示世界。,谓词逻辑,主要思想：世界是由对象组成的，可以由标识符和属性来区分它们。在这些对象中，还包含着相互的关系。,2022/12/11,中国矿业大学计算机学院,9,在命题逻辑中，每个表达式都是句子，表示事实。在谓词逻辑中，有句子，但是也有项，表示对象。常量符号、变量和函数符号用于表示项，量词和谓词符号用于构造句子。,注意:,2022/12/11,中国矿业大学计算机学院,10,4.语法,命题逻辑的符号包括以下几种：（1）命题常元：True(T)和False(F)；（2）命题

5、符号：P、Q、R、T等；（3）连接词： ； ； ； 。（4）括号：( )。,命题逻辑主要使用这5个连接词，通过这些连接词，可以由简单的命题构成复杂的复合命题。,2022/12/11,中国矿业大学计算机学院,11,5.语义,: 否定(Negation),复合命题Q表示否定Q的真值的命题,即“非Q” : 合取(Conjunction),复合命题PQ表示P和Q的合取,即“P与Q”: 析取(Disjunction),复合命题PQ表示P或Q的析取,即“P或Q”,2022/12/11,中国矿业大学计算机学院,12,5.语义, : 条件(Condition),复合命题PQ表示命题P是命题Q的条件,即“如果P

6、,那么Q” : 双条件(Bicondition),复合命题PQ表示命题P、命题Q相互作为条件,即“如果P,那么Q；如果Q,那么P”,2022/12/11,中国矿业大学计算机学院,13,注意:可以用真值表的方法表明连接词的功能:,2022/12/11,中国矿业大学计算机学院,14,2.2.2 谓词逻辑,一阶谓词演算标点符号、括号、逻辑连接词、常量符号集、变量符号集、n元函数符号集、n元谓词符号集、量词谓词演算合法表达式 (原子公式、合式公式)，表达式的演算化简方法，标准式 (合取的前束范式或析取的前束范式),1 语 法,2022/12/11,中国矿业大学计算机学院,15,语法元素 常量符号。 变

7、量符号。 函数符号。 谓词符号。 连接词： 、 。 量词： 全称量词、 存在量词。和后面跟着的x叫做量词的指导变元。,2022/12/11,中国矿业大学计算机学院,16,若函数符号f中包含的个体数目为n,则称f为n元函数符号。若谓词符号P中包含的个体数目为n,则称P为n元谓词符号。如：father(x)是一元函数,Less(x,y)是二元谓词.一般一元谓词表达了个体的性质,而多元谓词表达了个体之间的关系.,2 基本概念,函数符号与谓词符号,2022/12/11,中国矿业大学计算机学院,17,如果谓词P中的所有个体都是个体常量、变元、或函数，则该谓词为一阶谓词。 如果谓词P中某个个体本身又是一个

8、一阶谓词，则称P为二阶谓词。 余者类推。 个体变元的取值范围称为个体域。个体域可以是有限的，也可以是无限的。把各种个体域综合在一起作为讨论的范围的域称为全总个体域。,谓词的阶,2022/12/11,中国矿业大学计算机学院,18,在一阶谓词逻辑中，称Teacher(father(Wang)中的father(Wang)为项,项可定义如下:定义：项可递归定义如下：(1)单独一个个体是项 (包括常量和变量)。(2)若f是n元函数符号，而t1,tn是项，则f(t1,tn)是项。(3)任何项仅由规则(1)(2)所生成。,3 项与公式,2022/12/11,中国矿业大学计算机学院,19,原子公式 若P为n元

9、谓词符号,t1,tn都是项，则称P(t1,tn)为原子公式，简称原子。 在原子中，若t1,tn都不含变量，则P(t1,tn)是命题。,注意： 谓词逻辑可以由原子和5种逻辑连接词，再加上量词来构造复杂的符号表达式。这就是所谓的谓词逻辑中的公式。,2022/12/11,中国矿业大学计算机学院,20,一阶谓词逻辑的合式公式（可简称公式）可递归定义如下：(1)原子谓词公式是合式公式 (也称为原子公式)。(2)若P、Q是合式公式，则(P)、(PQ)、(PQ)、(PQ)、(P Q)也是合式公式。(3)若P是合式公式，x是任一个体变元，则 (x)P、（x)P也是合式公式。(4)任何合式公式都由有限次应用(1

10、)、(2)、(3)来产生。,2022/12/11,中国矿业大学计算机学院,21,一阶谓词逻辑公式的解释：设D为谓词公式P的非空个体域,若对P中的个体常量、函数、谓词按如下规定赋值：(1)为每个个体常量指派D中的一个元素。(2)为每个n元函数指派一个从 到D的映射，其中(3)为每个n元谓词指派一个从 到T,F的映射。则称这些指派为公式P在D上的一个解释。,2022/12/11,中国矿业大学计算机学院,22,(1)在谓词逻辑中,由于公式中可能含有个体常量、个体变元以及函数,因此不能像命题公式那样直接通过真值指派给出解释,必须首先考虑个体常量、和函数在个体域中的取值，然后才能针对常量和函数的具体取值

11、为谓词分别指派真值。 (2)在给出一阶逻辑公式的一个解释时，需要规定两件事情：公式中个体的定义域和公式中出现的常量、函数符号、谓词符号的定义。,4.注意：,2022/12/11,中国矿业大学计算机学院,23,例题分析：,设个体域D=1,2,求公式,在D上的解释，并指出在每一种解释下公式G的真值。,解：由于公式G没有包含个体常量和函数，因此可以直接为谓词指派真值，设,2022/12/11,中国矿业大学计算机学院,24,这就是公式G在D上的一个解释。从这个解释可以看出：,当x=1,y=1时,P(x,y)的真值为T;当x=2,y=1时,P(x,y)的真值也为T;,即对x在D上任意取值，都存在y=1，

12、使得P(x,y)的真值为T。因此，在该解释下，公式G的真值为T。,值得注意的是： 一个谓词公式在其个体域上的解释不是唯一的。例如，对公式G，若给出另一组真值指派如下：,2022/12/11,中国矿业大学计算机学院,25,这也是公式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;,2022/12/11,中国矿业大学计算机学院,26,即对x在D上任意取值，不存在一个y，使得P(x,y)的真值为T。因此，在该解释下，公式

13、G的真值为F。,实际上，G在D上共有16种解释，这里就不一一列举了。,注意： 一个公式的解释通常有任意多个，由于个体域D可以随意规定，而对一个给定的个体域D，对公式中出现的常量、函数符号和谓词符号的定义也是随意的，因此为此公式的真值都是针对某一个解释而言，它可能在某一个解释下为真，而在另一个解释为假。,2022/12/11,中国矿业大学计算机学院,27,5.谓词逻辑适用范围：,谓词逻辑适合于表示事物的状态、属性、概念等事实性知识，也可以用来表示事物间具有确定因果关系的规则性知识。,1）对事实性知识：可以使用谓词公式中的析取符号与合取符号连接起来的谓词公式来表示，如对下面句子： 张三是一名计算机

14、系的学生，他喜欢编程序。可以用谓词公式表示为 Computer(张三)Like(张三,programming)其中:Computer(x)表示x是计算机系的学生, Like(x,y)表示x喜欢y,都是谓词。,2022/12/11,中国矿业大学计算机学院,28,2）对规则性知识：通常使用由蕴涵符号连接起来的谓词公式来表示，例如，对于 如果x，则y用谓词公式表示为 xy,2022/12/11,中国矿业大学计算机学院,29,（1）定义谓词及个体，确定每个谓词及个体的确切含义； （2）根据所要表达的事物或概念，为每个谓词中的变元赋以特定的值； （3）根据所要表达的知识的语义，用适当的连接符将各个谓词连

15、接起来形成谓词公式。,6.谓词逻辑表示步骤,从上述两个例子我们总结一下用谓词公式表示知识的一般步骤如下：,2022/12/11,中国矿业大学计算机学院,30,例1：用谓词逻辑表示下列知识： 武汉是一个美丽的城市，但她不是一个沿海城市。 如果马亮是男孩，张红是女孩，则马亮比张红长得高。 解：按照知识表示步骤，用谓词公式表示上述知识。 第一步：定义谓词如下： BCity(x)：x是一个美丽的城市 HCity(x)：x是一个沿海城市 Boy(x):x是男孩 Girl(x):x是女孩 High(x,y):x比y长得高,7. 谓词逻辑表示知识的举例,2022/12/11,中国矿业大学计算机学院,31,这

16、里涉及的个体有：武汉（wuhan）,马亮（mal）, 张红（zhangh）第二步 将这些个体代入谓词中，得到BCity(wuhan), HCity(wuhan), Boy(mal), Girl(zhangh), High(mal,zhangh)第三步 根据语义，用逻辑连接符将它们连接起来，就得到了表示上述知识的谓词公司。BCity(wuhan)HCity(wuhan)(Boy(mal)Girl(zhangh)High(mal,zhangh),2022/12/11,中国矿业大学计算机学院,32,解：首先定义谓词如下： Student(x):x是学生 Uniform(x,y):x穿y N(x):x

17、是自然数 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 用谓词逻辑表示下列知识： 所有学生都穿彩色制服。 任何整数或者为正数或者为负数。 自然数都是大于零的整数。,2022/12/11,中国矿业大学计算机学院,33,解 根据给出的知识表示步骤，解答如下： 第一步 定义谓词如下： TABLE(x):x是桌子 EMPTYHANDED(x):x双手是空的 AT(x,y)：

18、x在y旁边 HOLDS(y,w):y拿着w ON(w,x):w在x上 EMPTYTABLE(x):桌子x上是空的,例3 机器人搬弄积木块问题的谓词逻辑表示。 设在一个房间里，有一个机器人ROBOT ，一个壁室ALCOVE，一个积木块BOX，两个桌子A和B。开始时，机器人ROBOT在壁室ALCOVE的旁边，且两手是空的，桌子A上放着积木块BOX，桌子B上是空的。机器人将把积木块BOX从桌子A上转移到桌子B上。,2022/12/11,中国矿业大学计算机学院,34,第二步 本问题所涉及的个体定义为： 机器人:ROBOT，积木块:BOX，壁室:ALCOVE，桌子:A，桌子:B第三步 根据问题的描述将问

19、题的初始状态和目标状态分别用谓词公式表示出来。 问题的初始状态是AT(ROBOT,ALCOVE)EMPTYHANDED(ROBOT)ON(BOX,A)TABLE(A)TABLE(B)EMPTYTABLE(B)问题的目标状态是AT(ROBOT,ALCOVE)EMPTYHANDED(ROBOT)ON(BOX,B)TABLE(A)TABLE(B)EMPTYTABLE(A),2022/12/11,中国矿业大学计算机学院,35,在将问题初始状态和目标状态表示出来后，对此问题的求解，实际上是寻找一组机器人可进行的操作，实现一个由初始状态到目标状态的机器人操作过程。机器人可进行的操作一般分为先决条件和动作两

20、部分先决条件可以很容易地用谓词公式表示，而动作则可以通过前后的状态变化表示出来，也就是只要指出动作执行后，应从动作前的状态表中删除和增加什么谓词公式，就可以描述相应的动作了。,机器人要将积木块从桌子A上移到桌子B上所要执行的动作有如下3个： GOTO(x,y):从x处走到y处 PICK_UP(x):在x处拿起积木块 SET_DOWN(x):在x处放下积木块,第四步 问题表示出来后，如何求解问题。,2022/12/11,中国矿业大学计算机学院,36,这3个操作可以分别用条件和动作表示如下：GOTO(x,y) 条件：AT(ROBOT，x） 动作：删除 AT（ROBOT，x） 增加 AT（ROBOT

21、，y）PICK_UP(x) 条件：ON（BOX，x）TABLE（x）AT（ROBOT，x）EMPTYHANDED（ROBOT） 动作：删除 ON（BOX，x）EMPTYHANDED（ROBOT） 增加 HOLDS（ROBOT，BOX）SET_DOWN(x) 条件： TABLE（x）AT（ROBOT，x）HOLDS（ROBOT，BOX） 动作：删除 HOLDS（ROBOT，BOX） 增加 ON（BOX，x）EMPTYHANDED（ROBOT机器人在执行每一操作之前还需检查所需先决条件是否满足，只有条件满足以后，才执行相应的动作。如机器人拿起A桌上的BOX这一操作，先决条件是 ON（BOX，A）A

22、T（ROBOT，A）EMPTYHANDED（ROBOT）,2022/12/11,中国矿业大学计算机学院,37,1一阶谓词逻辑表示法的优点 （1）严密性:可以保证其演绎推理结果的正确性，可以较精确地表达知识。（2）自然性:它的表现方式和人类自然语言非常接近。（3）通用性:拥有通用的逻辑演算方法和推理规则。（4）知识易表达:如果对逻辑的某些外延扩展后，则可把大部分精确性知识表达成一阶谓词逻辑的形式。（5）易于实现:用它表示的知识易于模块化，便于知识的增删及修改，便于在计算机上实现。,8.一阶谓词逻辑表示法的特点,2022/12/11,中国矿业大学计算机学院,38,2一阶谓词逻辑表示法的缺点（1）效

23、率低:由于推理是根据形式逻辑进行的，把推理演算和知识含义截然分开，抛弃了表达内容所含的语义信息，往往是推理过程太冗长，降低系统效率。另一方面，谓词表示越细，表示越清楚，推理越慢、效率越低。（2）灵活性差:不便于表达和加入启发性知识和元知识。不便于表达不确定性的指示，但人类的知识大都具有不确定性和模糊性，这是使得它表示知识的范围受到了限制。（3）组合爆炸:在其推理过程中，随着事实数目的增大及盲目的是用推理规则，有可能产生组合爆炸。,2022/12/11,中国矿业大学计算机学院,39,作业,1.用谓词公式表示下列规则性知识： 自然数都是大于零的整数。 任何人都会死的。2.用谓词公式表示下列事实性知识： 小明是计算机系的学生，但他不喜欢编程。 李晓新比他父亲长得高。3. 课本P51: 习题2.6,