确定性推理讲解.ppt

中南大学 智能系统与智能软件研究所 确定性推理 推理的基本概念 推理的逻辑基础 自然演绎推理 归结演绎推理 基于规则的演绎推理 推理的基本概念 什么是推理 --推理的概念 推理的方法及分类 --如何进行推理 推理的控制策略及其分类 --如何解决推理中遇到的问题 什么是推理 推理：是指按照某种策略从已知事实出发推出结论的过程。 例：医疗诊断专家系统 推理的两个基本问题 推理方法 --如何进行推理？ 推理的控制策略 --如何解决推理中遇到的问题 推理方法及其分类 按推理的逻辑基础分类 --演绎推理 --归纳推理 --默认推理 按推理所用知识的确定性分类 --确定性推理 --不确定性推理 按推理过程的单调性 --单调性推理 --非单调性推论 按推理的逻辑基础分类 演绎推理 --从已知的一般性知识出发，去推出蕴含在这些已知知识中的适合某种个别情况的结论。 --逻辑基础：三段论 假言推理：P,P?Q,Q 拒取式：~Q,P?Q,~P 假言三段论：P?Q,Q?R,P?R 按推理的逻辑基础分类 例1：人是会死的，苏格拉底是人--》苏格拉底会死的 假言三段论 例2： 按推理的逻辑基础分类 归纳推理 --是从一类事物的大量特殊实例出发，去推出该类事物的一般性结论。 --推理的一般形式 A是G B是G，C是G 前提 A，B，C都是G 所以D是G 结论 推理中前提是论据，结论是论点。 按推理的逻辑基础分类 例1： 比如论证自学能成才： 高尔基是个人才 华罗庚是个人才 张海迪是个人才……论据(前提) 他们都是靠自学成才的 所以说自学能成才………论点（结论） 例2：设有如下事例： 王强是计算机系学生，他会编程序； 高华是计算机系学生，她会编程序； 。。。 凡是计算机系学生，都会编程序； 按推理的逻辑基础分类 – 完全归纳推理、不完全归纳推理 – 不完全归纳：枚举归纳推理（单枚举归纳 推理）、科学归纳推理、类比归纳推理、 统计归纳推理等。 – 归纳推理过程是新知识的产生过程，可以 使智能系统获得新知识，常用于机器学习 的归纳学习。 按推理所用知识的确定性分类 确定性推理：推理过程中所运用的知识 和中间结论及最后的结论都是有可以精 确表示的。 不确定性推理：在推理过程中所运用的 知识有些是不确定的，因此推出的结论 也不完全是确定性。 按推理过程的单调性 单调性推理：是指在推理过程中，每当使用新的知识后，所得到的结论会越来越接近于目标，而不会出现突然背离目标的情况。 非单调性推理：是指在推理过程中，当 某些新知识加入后，会否定原来推出的结论，而使得推理过程退回到先前的某一步。 推理的控制策略及其分类 控制方向 – 正向推理 – 逆向推理 – 混合推理 求解策略 限制策略 冲突消解策略 正向推理 从已知事实出发，正向使用推理规则。 数据驱动推理、前项链推理、正项链推理 基本思想：推理机根据初始事实及证据建立综合数据库，到知识库中匹配可用知识，将可用知识构成知识集，选择一条知识进行推理，将结论加入综合数据库，重复这一过程，直到得到解或无可用知识。 逆向推理 是一种以某个假设目标作为推理出发点的推 理方法。 目标驱动推理、逆向链推理或后向链推理。 基本思想：将待求解问题的目标或假设放入 假设集，逆向使用知识库中的知识将后件与假设匹配的知识的前提加入假设集，如果假 设在综合数据库中，或用户认可，则假设成 立，继续检查其它假设。若假设集为空，则 成功退出，若假设集非空，没有可用知识， 失败退出。 混合推理 先正向后逆向 – 先进行正向推理，从已知事实推出部分结果，再用逆向推理对这些结果进行证实。 先逆向后正向 – 先进行逆向推理，从假设目标出发推出一些中间假设，再用正向推理对这些中间假设进行证实。 双向混合推理 – 在推理过程中依据某种控制策略，正向推理和逆向推理交替进行，期望推理在中间的某处汇合。 推理的冲突消解策略 冲突：在推理过程中，如果知识库中有 多条可用的知识，则称发生了冲突。 冲突消解：从发生冲突的多条知识中选 择一条知识进行推理的过程，称为冲突消解。 基本思想：按知识的某种属性对知识进 行排序，先选择排在前面的知识。 推理的逻辑基础 谓词公式的解释 谓词公式的永真性与不可满足性 谓词公式的等价性与永真蕴含性 谓词公式的范式 置换与合一 谓词公式的解释 谓词的解释：人为的指派给谓词的含 意。解释不同谓词的值不同。 例1 谓词P：CITY (x) 解释1：x是一个城市 解释2：x是一个煤球 CITY(北京) 谓词公式的解释（续） 例2 (?F){ (F (a)=b) ∧(?x) [P (x) →( F (x) = g (x, F (f (x))))]} 解释1：令D={非负整