您好,欢迎访问三七文档
当前位置:首页 > IT计算机/网络 > AI人工智能 > 人工智能的数学基础1
李凌均郑州大学振动工程研究所2020年2月22020/2/15郑州大学振动工程研究所电话037167881792第二章人工智能的数学基础人工智能的数学基础有:逻辑学、概率论、模糊理论。逻辑经典命题逻辑一阶谓词逻辑2.1命题逻辑与谓词逻辑2.2多值逻辑2.3概率论2.4模糊理论非经典逻辑多值逻辑、模糊逻辑模态逻辑、时态逻辑具有真假意义本章内容:32020/2/15郑州大学振动工程研究所电话0371678817922.2.1.命题一个具有真假意义的陈述句,称为命题。命题通常用大写的英文字母P,Q,R等来表示,命题是具有或真或假的含义的。如果一个命题的真值为真则用T(或1)表示,若为假则用F(或0)表示下面的例子均是命题:(1)郑州大学是一所综合性大学。(T)(2)2+2=5(F)。(3)今天是个好天气。(T)(4)每一个奇数都是素数。(F)2.1命题逻辑与谓词逻辑42020/2/15郑州大学振动工程研究所电话037167881792下面的例子都不是命题:(1)现在是几点钟?(疑问句)(2)x-y2(其真假值随x、y的变化而变化,不能确定。)(3)我在说假话。(悖论,真作假时假亦真,假作真时真亦假)(4)请安静!(祈使句)2.1命题逻辑与谓词逻辑52020/2/15郑州大学振动工程研究所电话037167881792命题逻辑的局限性:在命题逻辑中我们研究的最小单位是句子,即命题,它无法把所要描述的客观事物的结构及逻辑关系反映出来。也无法把不同对象的共同特征表述出来。很多问题仅用命题逻辑是解决不了的、表达不清的。由此发展了谓词逻辑。2.1.2.谓词:在谓词逻辑中引入谓词来表示命题。一个谓词分为谓词名和个体2部分,谓词用于描述个体的性质、状态或个体之间的关系。个体就是要被描述的某个独立存在的事物或某个抽象的概念。2.1命题逻辑与谓词逻辑62020/2/15郑州大学振动工程研究所电话037167881792例1:张华是大学生。其中“张华”是个体,“是大学生”是谓语。于是我们可引入一个谓词S(x)来表示x是大学生,张华代以x就表示张华是大学生。S(x)涉及到一个变元,称为一元谓词,一元谓词表示个体的属性。例2:张华比李玲高。其中“张华”和“李玲”是个体,“…比…高”是谓词,因为涉及到两个个体,所以我们可以用一个二元谓词G(x,y)表示x高于y,将张华代以x,李玲代以y,则表示张华比李玲高。若用李玲代以x,张华代以y,则表示李玲高于张华。也就是说谓词中客体变元的顺序一经定义就不能随意改变了。2.1命题逻辑与谓词逻辑72020/2/15郑州大学振动工程研究所电话037167881792有多个变元的谓词称为多元谓词,多元谓词表示多个客体之间的关系。谓词中的个体可以是常量,也可以是变元或函数。谓词的语义是由使用者定义的,一旦被定义意义就明确。当谓词中的变元全部用特定的个体取代时,谓词就有了确定的真值TorF。2.1命题逻辑与谓词逻辑82020/2/15郑州大学振动工程研究所电话037167881792连接词象在整数或实数集合上可以进行+,-,*,/运算一样,在命题集合上也可以进行运算,形成新的命题。常用的命题运算符亦称为连接词有:¬:非:合取(与),:析取(或),:条件或蕴涵,:双条件(当且仅当)2.1命题逻辑与谓词逻辑2.1.3.谓词公式:92020/2/15郑州大学振动工程研究所电话037167881792逻辑连接词非“¬”:如果P是一个命题,那麽¬P是一个命题,它的真值是这样定义的:P真(1),¬P假;P假(0),¬P真。可以用如下的一个所谓真值表来表示:这里应该注意的是¬P是对整个命题P的否定,而不是对命题P的部分成分否定。¬是一个一元逻辑连接词。2.1命题逻辑与谓词逻辑P¬P0110102020/2/15郑州大学振动工程研究所电话037167881792逻辑连接词合取“”:如果P是一个命题,Q是一个命题,那麽PQ是一个命题,它的真值是这样定义的:当且仅当P和Q同时为真时,PQ的值为真,其余情况均为假。2.1命题逻辑与谓词逻辑PQPQ000010100111其真值表如右:“”是一个二元逻辑连接词。这是一个复合命题,可以读作合取或“和”、“and”。112020/2/15郑州大学振动工程研究所电话037167881792例如令P:曹老师是教授。Q:王晓离散数学不及格。则PQ:曹老师是教授并且王晓离散数学不及格注意这两件事在日常生活中可能是毫不相干的事情,但在命题逻辑中是有意义的,即P和Q的真值定下来,PQ的真值就可求。再例如令P:今天是晴天。Q:欢欢是大熊猫。于是PQ:今天是晴天并且欢欢是大熊猫。2.1命题逻辑与谓词逻辑122020/2/15郑州大学振动工程研究所电话037167881792逻辑连接词析取“”:如果P是一个命题,Q是一个命题,那麽PQ是一个命题,并且它的真值是这样定义的:当且仅当P和Q同时为假的时候PQ的值才为假,否则其值为真。其真值表如下:2.1命题逻辑与谓词逻辑PQPQ000011101111“”可以读作析取也可以读作“或”、“or”,它是个二元逻辑连接词。但它仅代表日常生活中的可兼容或,不代表排斥或。132020/2/15郑州大学振动工程研究所电话037167881792例如令P:今天下午3点我去讲课。Q:今天下午3点我去游泳。日常生活中可能会说,今天下午3点我去讲课或今天下午3点我去游泳。这里的或是一种排斥或(也称异或),不能使用逻辑连接词“”来表示,也就是说不能用PQ:来表示今天下午3点我去讲课或今天下午3点我去游泳。但下面的例子可以用析取来表示。P:李明在教室。Q:王鹏去公园。于是PQ表示:李明在教室或王鹏去公园。2.1命题逻辑与谓词逻辑142020/2/15郑州大学振动工程研究所电话037167881792逻辑连接词单条件“”:如果P是一个命题,Q是一个命题,那麽PQ是一个命题,表示P蕴涵Q,即:如果P,则Q。P成为条件的前件,Q成为条件的后件。它的真值是这样定义的:PQPQ001011100111当且仅当前件为真后件为假的时候,PQ的值才为假,其余情况均为真。其真值表如右:2.1命题逻辑与谓词逻辑152020/2/15郑州大学振动工程研究所电话037167881792例如令P:今天有雨。Q:我带雨伞。于是PQ:如果今天有雨,那麽我带雨伞。如果我们指定P为真代表今天有雨,那麽P为假表示今天没有雨,指定Q真为我带雨伞,那麽我没带雨伞为Q假。现在我们来分析上面真值表的各种情况:1、P=0,Q=0即今天没雨,我没带雨伞。PQ=1即成功。2、P=0,Q=1即今天没雨,我带雨伞。PQ=1也成功(带雨伞也没错)2.1命题逻辑与谓词逻辑162020/2/15郑州大学振动工程研究所电话0371678817923、P=1,Q=0,PQ=0即今天有雨,我没带雨伞,挨淋,失败。4、P=1,Q=1,PQ=1即今天有雨,我带雨伞。成功。由上面的例子可以看出,PQ真值的规定是符合常规逻辑的。再看一个例子令P:学生不听话。(并指派为真)Q:老师管教学生。(并指派为真)于是P=0,Q=0,PQ:如果学生听话,那麽老师不管教学生,2.1命题逻辑与谓词逻辑172020/2/15郑州大学振动工程研究所电话037167881792没毛病,所以PQ=1。P=0,Q=1,PQ:如果学生听话,那麽老师管教学生。也没毛病,PQ=1;P=1,Q=0,PQ:如果学生不听话,那麽老师不管教学生。失败,所以PQ=0;最后一种情况:P=1,Q=1,PQ:如果学生不听话,那麽老师管教学生。没毛病PQ=1。2.1命题逻辑与谓词逻辑182020/2/15郑州大学振动工程研究所电话037167881792逻辑连接词双条件“”:如果P是一个命题,Q是一个命题,那麽PQ是一个命题,它的真值是这样定义的:2.1命题逻辑与谓词逻辑PQPQ001010100111当且仅当P和Q同号时PQ的值为真,否则为假。其真值表如下:192020/2/15郑州大学振动工程研究所电话037167881792Q:老师管教学生。于是PQ表示老师管教学生当且仅当学生不听话。单条件和双条件逻辑连接词均是二元逻辑连接词。只要P,Q的真值定下来,P当且仅当Q的值就可以定下来。2.1命题逻辑与谓词逻辑202020/2/15郑州大学振动工程研究所电话037167881792逻辑连接词异或“”:如果P是一个命题,Q是一个命题,那麽PQ是一个命题,并且它的真值是这样定义的,当且仅当P和Q同号时,PQ的值为假否则为真。由定义我们可以看出,异或和逻辑连接词双条件“”有如下的关系:PQ¬(PQ)2.1命题逻辑与谓词逻辑212020/2/15郑州大学振动工程研究所电话037167881792量词2.1命题逻辑与谓词逻辑在把实际问题符号化的过程中,我们会遇到那样的短语:1、所有的…;任何一个…;每一个…——allof……2、有一个…;有一些…;存在一个…——someof……我们使用量词进行符号化,谓词逻辑中引入两个量词来表达全称量词(用来表示)——表示所有(或任一个……)存在量词(用来表示)——表示存在(有某个……)222020/2/15郑州大学振动工程研究所电话037167881792例:用谓词逻辑符号化下列命题:所有的整数都是有理数;有些整数是素数;定义谓词:I(x):x是整数Q(x):x是有理数S(x):x是素数于是上述命题可符号化为:(x)(I(x)Q(x));(x)(I(x)S(x)).2.1命题逻辑与谓词逻辑232020/2/15郑州大学振动工程研究所电话037167881792谓词公式(把实际问题符号化,公式化)命题演算的公式称为合式公式,又称命题公式,合式公式可按下列规则生成:(1)单个谓词是合式公式,称为原子谓词公式。(2)如果A是合式公式,则¬A是合式公式。(3)如果A和B是合式公式,那麽AB,AB,AB,AB是合式公式。(4)当且仅当有限次使用(1)、(2)、(3)条规则、由圆括号、逻辑连接词所组成的有意义的字符串是合式公式。(5)若A是合式公式,x是个体变元。则(x)A和(x)A也是合式公式。2.1.4.谓词公式及谓词公式的解释242020/2/15郑州大学振动工程研究所电话037167881792根据上面的定义可以看出下面的字符串均是合式公式:P,¬P,PQ,¬P(PQ),¬P(PQ)R,(PQ)¬(¬P¬Q)。而下面的字符串则不是合式公式:¬P,R,¬P,(PQ))逻辑连接词的运算优先级为:¬、、、、,括号优先。把一个实际问题符号化为一个命题公式的步骤如下:1.确定给定的句子是否为命题。2.找出各原子命题并确定句子中的连词对应的逻辑连结词。3.用正确的语法把原命题表示成由原子命题、连结词和圆括号组成的合式公式。2.1.4.谓词公式及谓词公式的解释252020/2/15郑州大学振动工程研究所电话037167881792例1:符号化下列命题:他既聪明又用功。他虽聪明但不用功。解:令P:他聪明Q:他用功于是PQ:表示他既聪明又用功。P¬Q:表示他虽聪明但不用功。例2:符号化下列命题:老骥自知夕阳晚,无须扬鞭自奋蹄。解:令P:老骥自知夕阳晚Q:无须扬鞭自奋蹄PQ:老骥自知夕阳晚,无须扬鞭自奋蹄。2.1.4.谓词公式及谓词公式的解释262020/2/15郑州大学振动工程研究所电话037167881792谓词公式的解释:在命题逻辑中,对命题公式中各个命题变元的一次真值指派称为命题公式的一个解释。不同的变元真值赋值得到不同的命题公式解释,一个解释对应一个命题公式的真值。看下面的例子。2.1.4.谓词公式及谓词公式的解释272020/2/15郑州大学振动工程研究所电话0371678
本文标题:人工智能的数学基础1
链接地址:https://www.777doc.com/doc-3767773 .html