人工智能的数学基础1.pptxVIP

模式识别与智能系统研究所@版权所有人工智能的数学基础-1人工智能导论人工智能的数学基础-1?2021/5/9?1 模式识别与智能系统研究所@版权所有人工智能的数学基础-1课程进度人工智能原理与应用前言绪论数学基础知识 知识表示 表示(1) (2)课程 课程设计 设计(1) (2)不确 不确 不确定推 定推 定推理 理 理(1) (2) (3)经典 经典 经典 经典 经典逻辑 逻辑 逻辑 逻辑 逻辑推理 推理 推理 推理 推理(1) (2) (3) (4) (5)?2021/5/9?2 模式识别与智能系统研究所@版权所有 人工智能的数学基础-1绪论回顾上一节课的内容什么是人工智能人工智能的研究目标及内容人工智能的研究途径人工智能的研究领域智能人工智能发展简史研究目标基本内容符号处理为核心网络连接为主的专家系统机器学习模式识别自然语言理解等10?2021/5/9 ?4重点：智能、人工智能的定义，研究目标（2），基本内容（5）,人工智能的研究途径（3） 模式识别与智能系统研究所@版权所有人工智能的数学基础-1为什么要研究数学思维形式化、符号化人工智能研究课题基础逻辑、概率、模糊知识的表示与处理中占有重要地位。因此，在系统学习人工智能的理论与技术之前，先掌握些有关逻辑、概率论及模糊理论方面的知识是很有必要的。?2021/5/9?5 模式识别与智能系统研究所@版权所有人工智能的数学基础-1人工智能的数学基础(1)命题逻辑与谓词逻辑多值逻辑（扩展）概率论命题谓词谓词公式谓词公式的一些特性随机现象样本空间与随机事件事件的概率条件概率?2021/5/9?6 模式识别与智能系统研究所@版权所有人工智能的数学基础-1命题逻辑与谓词逻辑命题逻辑与谓词逻辑命题谓词谓词公式谓词公式的解释谓词公式的永真性、可满足性、不可满足性谓词公式的等价性与用真蕴含?2021/5/9 ?7谓向逻辑是在命题逻辑基础上发展起来的，命题逻辑可看作是谓词逻辑的一种特殊形式 模式识别与智能系统研究所@版权所有?2021/5/9?8人工智能的数学基础-1命题逻辑与谓词逻辑－命题（1）什么是命题？命题是具有真假意义的语句命题代表人们进行思维时的一种判断，或者是肯定，或者是否定，只有这两种情况例子：北京是中华人民共和国的首都。3≤5。太阳从西边升起。我今天吃的很饱。多么美丽的祖国。我吃的很饱是一个命题。表示形式用P描述 模式识别与智能系统研究所@版权所有人工智能的数学基础-1命题逻辑与谓词逻辑－命题命题语句真假含义注意：语句和真假的含义缺一不可?2021/5/9?9 模式识别与智能系统研究所@版权所有人工智能的数学基础-1命题逻辑与谓词逻辑－命题· 命题逻辑的局限性？思考？?2021/5/9?10面对这样的问题，我们怎样解决？· 无法把它所描述的客观事物的提示结： 构及逻辑特通常在编程当中，我们采用什么样的方式来解征反映出来，也不能把不决同相同事特征物的问间题，的共同特征表述出来。· 例如：老李是小李的父亲李白是诗人，杜甫也是诗人。 模式识别与智能系统研究所@版权所有 人工智能的数学基础-1命题逻辑与谓词逻辑－谓词谓词谓名词个体函数名称参变量个体表某个独立存在的事物或者某个抽象的概念2021/5/9谓名词用于刻画个体的性质、状态或个体间的关系?11 模式识别与智能系统研究所@版权所有人工智能的数学基础-1命题逻辑与谓词逻辑命题谓词谓词公式谓词公式的解释谓词公式的永真性、可满足性、不可满足性谓词公式的等价性与用真蕴含2021/5/9?12 模式识别与智能系统研究所@版权所有人工智能的数学基础-1命题逻辑与谓词逻辑－谓词· 老张是教师Teacher（Zhang）谓名词个体如果是老李也是教师，怎么描述2021/5/9 Teacher 刻画了 zhang 的职业是教师？?13 模式识别与智能系统研究所@版权所有?2021/5/9?14人工智能的数学基础-1命题逻辑与谓词逻辑－谓词5＞3：Greater(5,3)。Greater(3,5)?谓词的一般形式是：P(x1,x2,…,xn)谓词名：个体：通常情况谓词名用大写表示，而个体用小写表示谓词的个体，可以是一个常量，也可以是一个变元，还可以是一个函数例如：X＜5：Less（x,5）小王的父亲是教师：Teacher(Father(Wang)) 模式识别与智能系统研究所@版权所有?2021/5/9?15人工智能的数学基础-1命题逻辑与谓词逻辑－谓词几个概念：当谓词中的变元都用特定的个体取代时，谓词就具有一个确定的真值：T 或 FP(x1,x2,…,xn)，其中n是阶数个体变元的取值范围成为个体域。有限，无限谓词和函数的联系和区别个体常量、个体变元、函数统称为“项”采用谓词有什么样的优点 模式识别与智能系统研究所@版权所有人工