人工智能的数学基础.ppt
《人工智能的数学基础.ppt》由会员分享,可在线阅读,更多相关《人工智能的数学基础.ppt(53页珍藏版)》请在三一办公上搜索。
1、人工智能导论,人工智能的数学基础-1信息学院:韩延彬,课程进度,人工智能原理与应用,本节知识框架,回顾上一节课的内容,重点:智能、人工智能的定义,研究目标(2),基本内容(5),人工智能的研究途径(3),为什么要研究数学,人工智能,知识的表示与处理中占有重要地位。因此,在系统学习人工智能的理论与技术之前,先掌握些有关逻辑、概率论及模糊理论方面的知识是很有必要的。,命题逻辑与谓词逻辑,谓向逻辑是在命题逻辑基础上发展起来的,命题逻辑可看作是谓词逻辑的一种特殊形式,命题逻辑与谓词逻辑命题(1),什么是命题?命题是具有真假意义的语句命题代表人们进行思维时的一种判断,或者是肯定,或者是否定,只有这两种情
2、况例子:北京是中华人民共和国的首都。35。太阳从西边升起。我今天吃的很饱。多么美丽的祖国。我吃的很饱是一个命题。表示形式用P描述,命题逻辑与谓词逻辑命题,命题,语句,真假含义,注意:语句和真假的含义缺一不可,命题逻辑与谓词逻辑命题,命题逻辑的局限性?无法把它所描述的客观事物的结构及逻辑特征反映出来,也不能把不同事物间的共同特征表述出来。例如:老李是小李的父亲李白是诗人,杜甫也是诗人。,思考?面对这样的问题,我们怎样解决?提示:通常在编程当中,我们采用什么样的方式来解决相同特征的问题,,函数(Function),命题逻辑与谓词逻辑谓词,谓词,谓名词,个体,函数名称,参变量,个体表某个独立存在的事
3、物或者某个抽象的概念谓名词用于刻画个体的性质、状态或个体间的关系,命题逻辑与谓词逻辑谓词,老张是教师,Teacher(Zhang),谓名词,个体,Teacher 刻画了 zhang 的职业是教师?,如果是老李也是教师,怎么描述,命题逻辑与谓词逻辑谓词,53:Greater(5,3)。Greater(3,5)?谓词的一般形式是:P(x1,x2,xn)谓词名:个体:通常情况谓词名用大写表示,而个体用小写表示谓词的个体,可以是一个常量,也可以是一个变元,还可以是一个函数例如:X5:Less(x,5)小王的父亲是教师:Teacher(Father(Wang),比较C中的函数,命题逻辑与谓词逻辑谓词,几
4、个概念:当谓词中的变元都用特定的个体取代时,谓词就具有一个确定的真值:T 或 FP(x1,x2,xn),其中n是阶数个体变元的取值范围成为个体域。有限,无限谓词和函数的联系和区别个体常量、个体变元、函数统称为“项”采用谓词有什么样的优点,命题逻辑与谓词逻辑谓词公式,谓词公式:无论是命题逻辑还是谓词逻辑,可以利用连接词把一些简单的命题连接起来构成一个合命题,表示一个比较复杂的含义。非合取析取条件或者蕴含,pq双条件:当且仅当,命题逻辑与谓词逻辑谓词公式,量词全称量词存在量词P(x)表示是证书,F(x,y)表示x,y是朋友,命题逻辑与谓词逻辑谓词公式,谓词公式:单个谓词是合式公式,成为原子谓词公式
5、若A是合式公式,则A也是合式公式若A,B都是合式公式,则AB,AB,AB,AB若A是合式公式,X是任一个体变元,包含全称量词和存在量词的也是合式公式,命题逻辑与谓词逻辑谓词公式,分析一个谓词公式,约束变元,自由变元,变元换名原则:同名的约束变元应该统一变成相同的名字,注意约束条件也得修改,谓词公式的解释,在命题逻辑中,对命题公式中各个命题变元的一次真值指派成为命题公式的一个解释形象理解:赋值函数值谓词公式的解释:设D为谓词公式P的个体域,若对P中的个体常量,函数和谓词按如下规定赋值:(1)为每个个体常量指派D中的一个元素(2)为每个n元函数指派一个从Dn到D的映射,其中Dn(x1,x2,xn)
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 人工智能 数学 基础

链接地址:https://www.31ppt.com/p-5194343.html