人工智能的数学基础.ppt

谓词公式的等价性与永真蕴含P规则：推理的任何步骤可以引入的前提CP规则：从R和前提结合中推出来S，使用结论R→S反证法：这些规则在后续的讨论中，我们在进行相关介绍。T规则：前面推出的结论，在后续的推理中，使用0102030405谓词公式的等价性与永真蕴含人工智能的数学基础(1)命题逻辑与谓词逻辑多值逻辑（扩展）概率论命题谓词谓词公式谓词公式的一些特性随机现象样本空间与随机事件事件的概率条件概率1经典命题逻辑和谓词逻辑的语义解释只有两个：真和假，0和1。3三值逻辑：第三个结论有很多讨论，有人提出无意义这个值，是为了解决悖论2现实生活中的某些问题不是简单的真和假的问题，而是存在于真和假之间的某个位置上（甚至更复杂）多值逻辑命题取值只能有三个：真，假，还有一个（无意义，不能判定：悖论）01城里所有不自己刮脸的男人都由我给他们刮脸，我也只给这些人刮脸。命题：理发师给自己刮脸吗？02http:///lib/paradox/03多值逻辑人工智能的数学基础(1)命题逻辑与谓词逻辑多值逻辑（扩展）概率论命题谓词谓词公式谓词公式的一些特性随机现象样本空间与随机事件事件的概率条件概率概率论概率论随机现象样本空间与随机事件事件概率条件概率全概率公式与Bayes公式概率论概率论是研究随机现象中数量规律的一门学科。反应了事物的不确定性模拟关系概率为什么要引入概率论概率论随机现象样本空间与随机事件事件概率条件概率全概率公式与Bayes公式概率论－随机现象在相同的条件下重复进行某种试验时，试验结果不一定完全相同且不可预知的现象称为随机现象。难忘一课（老师名单）模式识别与智能系统研究所@版权所有人工智能的数学基础-1模式识别与智能系统研究所@版权所有人工智能的数学基础-1模式识别与智能系统研究所@版权所有人工智能的数学基础-1模式识别与智能系统研究所@版权所有人工智能的数学基础-1人工智能导论人工智能的数学基础-1信息学院：韩延彬课程进度人工智能原理与应用前言绪论数学基础知识表示(1)知识表示(2)经典逻辑推理(1)经典逻辑推理(2)经典逻辑推理(3)经典逻辑推理(4)课程设计(1)课程设计(2)不确定推理(1)不确定推理(2)不确定推理(3)经典逻辑推理(5)本节知识框架人工智能的数学基础(1)命题逻辑与谓词逻辑多值逻辑（扩展）概率论命题谓词谓词公式谓词公式的一些特性随机现象样本空间与随机事件事件的概率条件概率回顾上一节课的内容绪论什么是人工智能人工智能的研究目标及内容人工智能的研究途径人工智能的研究领域智能人工智能发展简史研究目标基本内容符号处理为核心网络连接为主的专家系统机器学习模式识别自然语言理解等10重点：智能、人工智能的定义，研究目标（2），基本内容（5）,人工智能的研究途径（3）为什么要研究数学思维形式化、符号化人工智能研究课题基础逻辑、概率、模糊知识的表示与处理中占有重要地位。因此，在系统学习人工智能的理论与技术之前，先掌握些有关逻辑、概率论及模糊理论方面的知识是很有必要的。人工智能的数学基础(1)命题逻辑与谓词逻辑多值逻辑（扩展）概率论命题谓词谓词公式谓词公式的一些特性随机现象样本空间与随机事件事件的概率条件概率命题逻辑与谓词逻辑命题逻辑与谓词逻辑命题谓词谓词公式谓词公式的解释谓词公式的永真性、可满足性、不可满足性谓词公式的等价性与用真蕴含谓向逻辑是在命题逻辑基础上发展起来的，命题逻辑可看作是谓词逻辑的一种特殊形式命题逻辑与谓词逻辑－命题（1）标题01命题02语句04注意：语句和真假的含义缺一不可03真假含义命题逻辑与谓词逻辑－命题命题逻辑与谓词逻辑－命题命题逻辑的局限性？无法把它所描述的客观事物的结构及逻辑特征反映出来，也不能把不同事物间的共同特征表述出来。例如：老李是小李的父亲李白是诗人，杜甫也是诗人。思考？面对这样的问题，我们怎样解决？

提示：通常在编程当中，我们采用什么样的方式来解决相同特征的问题，函数（Function）1谓词2谓名词3个体4函数名称5参变量6个体表某个独立存在的事物或者某个抽象的概念谓名词用于刻画个体的性质、状态或个体间的关系命题逻辑与谓词逻辑－谓词命题逻辑与谓词逻辑命题谓词谓词公式谓词公式的解释谓词公式的永真性、可满足性、不可满足性谓词公式的等价性