经典逻辑推理.pdfVIP

第四章 经典逻辑推理 4.1 4.2 4.3 4.4 基本概念 自然演绎推理 归结演绎推理 与/或形演绎推 理 / 4.1 基本概念 为使计算机具有智能,仅仅使它拥有知识还不够,更重要地, 还必须使它具 有思维能力,即能运用知识进行推理,求解问题 的能力 知识表示(知识库)→求 解过程(推理) 经典推理是根据经典逻辑(命题逻辑和一阶谓词逻辑)的逻 辑规 则进行的一种推理,又称机械- 自动定理证明. 主要推理方法有:自然演绎推理, 归结演绎推理,与/或形演 绎推理. 基本概念 推理 推理是按某种策略由已知判断推出另一种判断的过程.在AI 系统中, 由程序来实现的,称为推理机. 不同的控制策略 推理方式及分类: 推理方式及分类: (1) 演绎推理 从新判断推出的途径归纳推理 默认推理 演绎推理 由一般(全称判断)到个别(特称判断)的推理方法. 核心是三段论, 个大前提,一个小前提和一个结 论三部分组成的. 例:阿凡提的故事两头驴的故事 ① 我肩上驮的是两头驴的东西 (大前提) ② 国王和大臣的衣衫是我肩上 驮的(小前提) ③ 国王和大臣的衣衫是两头驴的东西(结论) 归纳推理 从个别到一般 归纳结论不具备逻辑必然性 莫里斯科恩 逻辑学著作包括两部分,第一部分是演绎,其功能是解释谬 误;第二部分是 归纳,其功能是生成谬误 我们获得关于这个实在世界的一般性事 实的唯一方法! 实的唯一方法! 演绎推理所得出的结论蕴含在一般性知识的前提 中,演绎推理只不过是将 已有事实揭示出来,因此 它不能增殖新知识. 在归纳推理中, 有包含在前提 内容中的.这种由个别事物或现象推出一般性知识 的过程,是增 殖新知识的过程. 默认推理 默认推理是在知识不完全的情况下假设某些条件已经具备 所进行的推理, 也称为缺省推理.在推理过程中,如果发现 原先的假设不正确,就撤消原来的假 设以及由此假设所推出 的所有结论,重新按新情况进行推理. 在 推理过程中假设某些条件是成立的,因此解决了在一个不完 行推理的问题. 封闭世界假设:如果没有足够的证据证明某命题不成立, 该命题成立 确定性推理 (2)从知识的确定性 不确定性推理 单调性推理 (3)从结论的 单调性 非单调性推理 启发式推理 (4)从启发性知识是否运用 非启发式推理 基于知识的推理 (5)从方法论的角度 统计推理 直觉推理 推理的控制策略 推理过程涉及到求解方法和求解策略. 求解方法包括匹配方法, 传递方法 求解策略包括推理方向,求解策略,限制策略等. 指推理是求一个 解 ,所有解,还 是最优解. 为防止无穷的推理过 程,以及由此带来的 时间和空间 复杂性, 限制策略是对推理的 深度,宽度,时间, 空间等进行限制. 开始 开始 推理方向 DB中包含问题的解 Y 把初始已知事实送入DB 提出假设 Y 正向推理 Y 成功,退出 把用户提供的新事实加入DB 该假设成立 该假设在数据库中? N 还有假设 ? 推理方向分为正向推理,逆向推理,混合推理,双向推理四 Y KB中有可适用的知识 种. N N 无论哪一种推理,系统都具有知识库, 库和推理机. 把KB中所有的适用知识都选出送入KS 该假设是证据? 用户补充新知识? 问用户 Y 退出 N KS空? N 逆向推理的优点: Y N N 正向推理需要解决的问题: 1,目标性强 设 有此事实? 失败,退出 按冲突消解策略从KS中选出一条知识进行推理 1,确 定匹配的方法 的知识,形成适用知识集KS 2,有利于向用户提供解释 逆向推理 2,确定搜索策略 Y N 推出的是新知识? 3,消解冲突 逆向推理的缺点: 成立,并将此事实 Y 从KS中选出一条知识,并将该知识正向推理的缺点:盲目, 率低 存入数据库 的一个运用条件作为新的假设目标 将该新知识加入DB 初始 目标的选择有盲目性 逆向推理-例 有关知识 规则1:IF 你丢了自行车钥匙,并且车胎没气 THEN 自行车不能骑 规则2:I F 自行车不能骑,并且你只有走路去 THEN 你听课会迟到 事实1:你丢了自行车 钥匙 事实2:车