人工智能ch3.pptVIP

人工智能与知识工程 考试安排 时间；10月26日，星期一上午10:00-12:00 地点： A区主教107 第三章 确定性推理 推理中的一般问题 自然演绎 归结演绎 初等几何定理的计算机证明 §1、推理中的一般问题 推理 推理是按照某种策略由已知判断推出另一判断（新判断）的思维过程。 用于实现推理的程序称为推理机 推理的分类 按推出新判断的方法分类 演绎推理 从全称判断推出特称判断或单称判断的推理过程/方法 三段论： 大前提——已知的一般性知识 小前提——关于具体情况或个别事实的判断 结论——由大前提推出的适合于小前提的判断（结论） 例： 大前提：如果地球围绕太阳旋转，那么月球就是围绕地球旋转。 小前提：今天地球是围绕太阳旋转的。 结论：今天月球就是围绕地球旋转。 特点：演绎推出的结论都包含在前提的一般性知识中。如果大前提正确，得到的结论肯定正确。 归纳推理 从众多的事例（事实）中归纳出一般性结论（知识）的推理过程。 穷举所有事例（事实）——完全归纳推理 列举部分事例（事实）——不完全归纳推理 特点： 完全归纳推理能保证结论正确，但很难做到。 不完全归纳推理不能保证结论正确，经常使用的形式。 注：归纳推理是人类思维活动中最基本、最常用的一种推理方式。如果经归纳得到的结论能从理论上证明其正确性，就能得到普遍实用的知识。 默认推理 在知识不完全的情况下假设（默认）某些条件已经具