3. 经典逻辑推理.pdf

第3章 经典逻辑推理 3.1推理的基本概念 从一个或几个已知的判断(前提)逻辑地推论出 一个新的判断(结论)的思维形式称为推理, 这是事物的客观联系在意识中的反映。 根据经典逻辑（命题逻辑和一阶谓词 人解决问题就是利用以往的知识,通过推理得 逻辑）规则进行的精确推理，或确定 出结论。 性推理。 自动推理的理论和技术是程序推导、程序正确 性证明、专家系统、智能机器人等研究领域的 重要基础。 实现推理的程序称为推理机。 3.1.1推理方式及其分类 1.演绎推理、归纳推理、默认推理 1.演绎推理、归纳推理、默认推理 演绎推理(deductive reasoning) ： 2.确定性推理、不确定性推理 从一般到个别。 3.单调推理、非单调推理 4.启发式推理、非启发式推理 例： 1）足球运动员的身体都是强壮的。 5.基于知识的推理、直觉推理 2）李波是一名足球运动员。 3）所以，李波的身体是强壮的。 ————三段论式 归纳推理(inductive reasoning) 归纳推理和演绎推理的区别 从个别到一般 第一，一个正确的演绎推理是不可能前提真而结 例： 白菜能够进行光合作用， 论假的，但归纳推理却有可能前提真而结论假。 大豆能够进行光合作用， 水稻能够进行光合作用， 第二，演绎推理的结论不超出前提，而归纳推理 棉花能够进行光合作用， 的结论超出了前提。 柳树能够进行光合咋用， …… 第三，一个归纳推理增加或减少一些前提，会增 白菜、大豆、水稻、棉花、柳树……都是 加或减少其结论为真的概率，而在演绎推理中 绿色植物。 不会出现这种情况。 所以，所有绿色植物都能进行光合作用。 1 例1： 甲系的排球队在过去几年是全校冠军队。 归纳推理的强度 在今年的校内各类排球比赛中，甲系排球 队从未输过一场。 对于归纳推理，人们关注的是推理的强度。 明天甲系排球队与乙系排球队比赛。 说一个归纳推理是强的，意思是说，如 因此，明天甲系排球队将打败乙系排球队。 果这个推理的前提是真的活，那么它的结论很