06逻辑与推理-人工智能.pdf

人工智能：模型与算法 逻辑与推理 吴飞 浙江大学计算机学院 提纲 1、命题逻辑 2 、谓词逻辑 3 、知识图谱推理 4 、因果推理 逻辑与推理是人工智能的核心问题  逻辑是探索、阐述和确立有效推理原则的学 科，提出了演绎推理中“三段论”方法的古希 腊学者亚里士多德被誉为“逻辑学之父”。一 般而言，逻辑是用数学方法来研究关于推理 和证明等问题的研究。 亚里士多德（Aristotle公元 前384-前322 ，古代先哲、 古希腊人） 逻辑与推理是人工智能的核心问题  墨翟 （尊称为墨子）被认为是东方逻辑 学的奠基人。墨子提出了名、辞、说三 种基本思维形式和由骨、理、类三物构 成的逻辑推理。  墨子也提出了一些几何思想，如“平，同 墨子（生卒年不详，名翟（dí）， 高也（两平行线或两平行平面间距离处 东周春秋末期战国初期宋国人） 处相等）”、“ 圆，一中同长也”。 逻辑与推理是人工智能的核心问题  人类思维活动一个重要功能是逻辑推理，即通过演绎和归纳等手段对现有观测现象进行分析， 得出判断。在人工智能发展初期，脱胎于逻辑推理的符号主义人工智能(symbolic AI)是人工智 能研究的一种主流学派。  在符号主义人工智能中，所有概念均可通过人类可理解的“符号”及符号之间的关系来表示。例 如：如果使用符号A来表示对象概念、IsCar （）来表示某个对象是否为“汽车”，那么IsCar(A) 表示“A是一辆轿车”这样的概念。注意IsCar(A)由对象A和IsCar （）两部分所构成。如果A是轿 车，则IsCar(A)为正确描述、否则为错误描述。  符号主义人工智能方法基于如下假设：可通过逻辑方法来对符号及其关系进行计算，实现逻辑 推理，辨析符号所描述内容是否正确。 逻辑与推理是基于知识的操作  人脑对知识的加工与处理与记忆息息相关。记忆就是对信息的保存和再现能力。 工作记忆 推理： (直觉、顿悟、因果等推理) 持续时间：< 30 sec 画外之意、弦外之音 长期记忆 瞬时记忆 (先验、知识等) (多通道感知) 持续时间： 持续时间：< 5 sec 1 sec--lifelong 命题逻辑 (Propositional Logic)  命题逻辑(proposition logic)是应用一套形式化规则对以符号表 示的描述性陈述进行推理的系统。  在命题逻辑中，一个或真或假的描述性陈述被称为原子命题， 对原子命题的内部结构不做任何解析。  若干原子命题可通过逻辑运算符来构成复合命题。 命题逻辑 下面给出了五个陈述 p: 北京是中国的首都 q : 13能被6整除 r : x<8 s: 存在最大的素数 t: 2 ≥ 0  任何一个命题或为真、或为假。  p和t是真命题，q和s