第四章经典逻辑推理 经典逻辑推理是根据经典逻辑的逻辑规则 进行的一种推理，又称为机械—自动定理证明， 主要的推理方法有： 自然演绎推理 真 归结演绎推理其值只有 是一种精确推理 与/或性推理 假
第四章 经典逻辑推理 经典逻辑推理是根据经典逻辑的逻辑规则 进行的一种推理，又称为机械—自动定理证明， 主要的推理方法有： 自然演绎推理 真 归结演绎推理 其值只有 是一种精确推理 与/或性推理 假
§4.1基本概念 1什么是推理 (1)推理：按某种策略由已知判断推出另一判 断的思维过程 (2)判断分 一已知判断：含与求解问题有关的知识及关 于问题的已知事实 一由已知判断推出新判断，推理的结论 (3)在人工智能系统中，推理是由程序实现的， 称为推理机
§4.1 基本概念 1 什么是推理 (1)推理：按某种策略由已知判断推出另一判 断的思维过程 (2)判断分 –已知判断：含与求解问题有关的知识及关 于问题的已知事实 –由已知判断推出新判断，推理的结论 (3)在人工智能系统中，推理是由程序实现的， 称为推理机
2推理方式及其分类 (1)演绎推理，归纳推理，默认推理 ①演绎推理：是从一般知识推出适合于某一具体情况的 结论，它包括三段论式 一大前提：已知的一般性知识或假设 -小前提：具体情况或个别事实的判断 一结论：由大前提推出适合于小前提所示情况的新判 断 例足球运动员的身体都是强壮的 高波是一名足球运动员 所以高波的身体是强壮的 在任何情况下，由演绎推理导出的结论都是蕴含在 大前提的一般性知识之中的
2 推理方式及其分类 (1)演绎推理，归纳推理，默认推理 ①演绎推理：是从一般知识推出适合于某一具体情况的 结论，它包括三段论式 –大前提:已知的一般性知识或假设 –小前提:具体情况或个别事实的判断 –结论:由大前提推出适合于小前提所示情况的新判 断 例 足球运动员的身体都是强壮的 高波是一名足球运动员 所以高波的身体是强壮的 在任何情况下，由演绎推理导出的结论都是蕴含在 大前提的一般性知识之中的
②归纳推理：是从足够的事例中归纳出一般性结 论的推理过程，是一种从个别到一般的推理。 完全归纳推理：是指在进行归纳时考察了 相应事务的全部对象，并根据这些对象是 否都具有某种属性，从而推出这个事物是 否具有这个属性。 不完全归纳推理：只考虑了相应事物的部 分对象，就得出了结论。 例对某厂生产的每一件产品都进行严格检查， 且都合格，则推导出该厂生产的产品是合格 的必然性推理。 检查产品质量时，只是随机地抽查了部分产 品，只要他们合格，就得出该厂产品合格的 结论非必然性推理
②归纳推理：是从足够的事例中归纳出一般性结 论的推理过程，是一种从个别到一般的推理。 – 完全归纳推理：是指在进行归纳时考察了 相应事务的全部对象，并根据这些对象是 否都具有某种属性，从而推出这个事物是 否具有这个属性。 – 不完全归纳推理：只考虑了相应事物的部 分对象，就得出了结论。 例 对某厂生产的每一件产品都进行严格检查， 且都合格，则推导出该厂生产的产品是合格 的必然性推理。 检查产品质量时，只是随机地抽查了部分产 品，只要他们合格，就得出该厂产品合格的 结论非必然性推理
③默认推理：它是知识不完全的情况下假设某 些条件已经具备所进行的推理 例在条件A已成立的情况下，如果没有足够的 证据能证明条件B不成立，则就默认B是成立 的，并在此前提下进行推理，推导出某个结 论来。 (②确定性推理，不确定性推理 ①确定性推理：推理时所用的知识都是精确的， 推出的结论也是正确的，其真值或为真或为 假。 ②不确定性推理：推理时所用的知识不都是精 确的，推出的结论也不完全是肯定的，其真 值位于真与假之间，命题的外延模糊不清
③默认推理：它是知识不完全的情况下假设某 些条件已经具备所进行的推理 例 在条件A已成立的情况下，如果没有足够的 证据能证明条件B不成立，则就默认B是成立 的，并在此前提下进行推理，推导出某个结 论来。 ⑵确定性推理，不确定性推理 ①确定性推理：推理时所用的知识都是精确的， 推出的结论也是正确的，其真值或为真或为 假。 ②不确定性推理：推理时所用的知识不都是精 确的，推出的结论也不完全是肯定的，其真 值位于真与假之间，命题的外延模糊不清