演绎推理-read.ppt

第４章　经典逻辑推理１、基本概念２、自然演绎推理３、归结演绎推理４、与／或形演绎推理 基本概念 何为推理？ 从已知的事实出发，不断运用已掌握的（知识库中的）知识推出或归纳出新的事实（包括目标结论）的过程称为推理。人工智能中推理是由程序实现的，称这个程序为推理机。 推理方式及其分类 人工智能作为对人类智能的模拟，有多种推理方式。它们是： １、演绎推理、归纳推理、默认推理 ２、确定性推理、不确定性推理 ３、单调推理、非单调推理 ４、启发式推理、非启发式推理 ５、基于知识的推理、统计推理、直觉推理。 分别解释如下： １、演绎推理、归纳推理、默认推理 所谓演绎推理是从全称判断推导出特称判断的过程，是从一般到个别的推理。经常用的是三段论式，它包括： 大前提：已知的一般性知识或假设； 小前提：具体情况或个别事实； 结论：由大前提推出的适合小前提所示情况的新判断。 １、演绎推理、归纳推理、默认推理 例如有如下三个判断： （１）足球运动员的身体都是强壮的； （２）高波是一名足球运动员； （３）所以，高波的身体是强壮的。 其中（１）是大前提，（２）是小前提 （３）是经演绎推出的结论。 只要大前提和小前提是正确的，那麽由它们推出的结论就是正确的。 １、演绎推理、归纳推理、默认推理 演绎推理是人工智能中的一种重要推理方式，目前研制成功的各类智能系统中，大多是用演绎推理实现的。 １、演绎推理、归纳推理、默认推理 归纳推理是从足够多的事例中归纳出一般性结论的推理过程，是一种从个别到一般的推理。例如，某厂进行产品质量检查，如果对每一件产品都进行了检查，并且都是合格的，则推导出结论：该厂生产的产品是合格的。并称这种推理为完全归纳推理。 １、演绎推理、归纳推理、默认推理 如果是随机地抽查部分产品，并且它们是合格的，则得出结论该厂的产品是合格的，这种推理称为不完全归纳推理。 默认推理又称为缺省推理，它是在知识不完全的情况下假设某些条件已经具备所进行的推理。例如，在条件Ａ已成立的情况下，如果没有足够的证据能证明条件Ｂ不成立，则默认Ｂ成立，并在默认前提下进行推理，推导 １、演绎推理、归纳推理、默认推理 出某个结论来。由于这种推理允许默认某些条件是成立的，这就摆脱了需要知道全部有关事实才能进行推理的要求，使得在知识不完全的情况下也能进行推理。在默认推理过程中，如果到某一时刻发现原先所做的默认不正确，则可以撤消默认推理和所推出的结论，并重新按新情况进行推理。 ２、确定性推理、不确定性推理 所谓确定性推理是指推理时所用的知识都是精确的，推出的结论也是确定的，是真或者是假。经典逻辑推理就属于这一种。 不确定性推理是指推理时所用的知识不都是精确的，推出的结论也不完全是肯定的，其真值位于真与假之间，命题的外延模糊不清。 ２、确定性推理、不确定性推理 这里，我们特别强调的是不确定性推理。因为，人类思维活动的特征经常是在知识不完全的情况下进行多方位的思考及推理的。因此，要使计算机模拟人类的思维活动，就必须使它具有不确定性推理的能力。 ３、单调推理、非单调推理 所谓单调推理是指在推理的过程中随着推理的向前推进及新知识的加入，推出的结论是单调递增的趋势，并且越来越接近目标，推理过程不会出现反复的情况，即不会因新知识的加入否定了前面推出的结论，从而使推理又退回到前面的某一步。经典逻辑演绎推理属于这一种。 ４、启发式推理、非启发式推理 若按推理中是否使用与问题有关的启发性知识，推理可分为启发式推理和非启发式推理。 所谓启发性知识是指与问题有关并且能加快推理进程、求得问题最优解的知识。 ５、基于知识的推理、统计推理、直觉推理 如果从方法论的角度来划分，推理可分为基于知识的推理、统计推理和直觉推理。 顾名思义，所谓基于知识的推理就是根据已掌握的事实，通过运用知识进行推理。 统计推理是根据对某事物的数据统计进行推理。例如，对农作物的产量进行统计，从而得出是否增产的结论，从而找　 ５、基于知识的推理、统计推理、直觉推理 出增产和减产的原因。就是运用了统计推理。 直觉推理又称常识性推理，是根据常识进行的推理。例如，当你从某建筑物下走过时，猛然发现有一物体坠落，这时你立即就会意识到这有危险，并立即躲开，这就是使用了直觉推理。目前直觉推理在计算机上的实现还是一件很困难的工作。 推理的控制策略 推理的控制策略主要包括推理方向、搜索策略、冲突消解策略、求解策略及限制策略等。 推理方向用于确定推理的驱动方式，分为正向推理、逆乡向推理、混合推理及双向推理四种。　 正向推理 正向推理也称数据驱动推理，前向链推理、模式制导推理及前件推理等。 正向推理过程的算法描述如下： １、将用户提供的初始已知事实送入数据库DB; 2、检查数据库DB中是否包含问题的解，若有则求解结束，