AI_04经典逻辑推理.pptVIP

第四章 经典逻辑推理 4.1 基本概念 4.2 自然演绎推理 4.3 归结演绎推理 4.4 与/或形演绎推理 4.1 基本概念 经典逻辑推理是根据经典逻辑的逻辑规则进行的一种推理，又称为机械—自动定理证明，主要的推理方法有： 自然演绎推理 真 归结演绎推理 其值只有 是一种精确推理 与/或性推理 假 4.1.1 什么是推理 推理：按某种策略由已知判断推出另一判断的思维过程。 推理包括两种判断 已知判断，与求解问题有关的知识及关于问题的已知事实。 由已知判断推出的新判断，即推理的结论。 在人工智能系统中，推理是由程序实现的，称为推理机。 4.1.2 推理方式及其分类 从新判断推出的途径划分 演绎推理，归纳推理，默认推理 按推理时所用知识的确定性划分 确定性推理，不确定性推理 按推理过程中推出的的结论是否单调增加 单调推理，非单调推理 按推理中是否运用与问题有关的启发性知识 启发式推理，非启发式推理 从方法论的角度划分 基于知识的推理，统计推理，直觉推理 演绎推理 演绎推理：是从一般知识推出适合于某一具体情况的结论。经常使用三段论式： 大前提：已知的一般性知识或假设。 小前提：具体情况或个别事实的判断。 结论：由大前提推出适合于小前提所示情况的新判断。 例：足球运动员的身体都是强壮的 高波是一名足球运动员 所以高波的身体是强壮的 在任何情况下，由演绎推理导出的结论都是蕴含在大前提的一般性知识之中的。 归纳推理 归纳推理：是从足够的事例中归纳出一般性结论的推理过程，是一种从个别到一般的推理。 完全归纳推理：是指在进行归纳时考察了相应事务的全部对象，并根据这些对象是否都具有某种属性，从而推出这个事物是否具有这个属性。必然性推理。 例：对某厂生产的每一件产品都进行严格检查，且都合格，则推导出该厂生产的产品是合格的必然性推理。 不完全归纳推理：只考虑了相应事物的部分对象，就得出了结论。非必然性推理。 例：检查产品质量时，只是随机地抽查了部分产品，只要他们合格，就得出该厂产品合格的结论非必然性推理。 默认推理 默认推理：它是知识不完全的情况下假设某些条件已经具备所进行的推理。 例：在条件A已成立的情况下，如果没有足够的证据能证明条件B不成立，则就默认B是成立的，并在此前提下进行推理，推导出某个结论来。 确定性推理，不确定性推理 确定性推理：推理时所用的知识都是精确的，推出的结论也是确定的，其真值或为真或为假。 不确定性推理：推理时所用的知识不都是精确的，推出的结论也不完全是肯定的，其真值位于真与假之间，命题的外延模糊不清。 单调推理，非单调推理 单调推理：在推理过程中随着推理的向前推进及新知识的加入，推出的结论呈单调增加的趋势，并且越来越接近最终目标，在推理过程中不会出现反复情况。 非单调推理：在推理过程中由于新知识的加入，不仅没有加强已推出的结论，反而否定它，使得推理退回到前面的某一步，重新开始，多是在知识不完全情况下发生的。 启发式推理，非启发式推理 启发性知识是指与问题有关且能加快推理进程，求解问题最优解的知识。 基于知识的推理，统计推理，直觉推理 基于知识的推理：根据掌握的事实，通过运用知识进行推理。 例：医生诊断疾病。 统计推理：根据对某事物的数据统计进行推理。 例：对农作物产量的统计，决定是否增产。 直觉推理：根据常识进行推理。 例：走路时重物下落，躲闪。 4.1.3 推理的控制策略 推理的驱动方式：正向推理， 逆向推理，混合推理 ，双向推理。 都要求具有知识库，状态库，推理机。 正向推理 基本思想： 从用户提供的初始已知事实出发，在知识库KB中找出当前可适用的知识，构成可适用知识集KS。 按某种冲突消解策略从KS中选出一条知识进行推理，并将推出的新事实加入到数据库中作为下一步推理的已知事实 再在知识库中选取可适用知识进行推理，直到求得所要求的解或知识库中再无可用知识为止。 正向推理 推理过程算法： ①将用户提供的初始已知事实送入数据库DB中。 ②检查DB中是否已经包括了问题的解，若有，则求解结束，成功退出，否则执行下一步。 ③根据DB中的已知事实，扫描知识库KB，检查KB中是否有可适用的知识，若有转④，否则转⑥ ④把KB中所有的适用知识都选出来，构成可适用的知识集KS 正向推理 ⑤若KS不空，则按某种冲突消解策略从中选出一条知识进行推理，并将推出的新事实加入DB中，转②；若KS空,转⑥ ⑥询问用户是否可进一步补充新事实，若可补充，则补充的新事实加入DB中，然后转③，否则表示求不出解，失败退出。 逆向推理 基本思想： 选定一个假设目标 寻找支持该假设的证据，若所需要的证据都能找到，说明原假设是成立的，