第四章确定性推理方法修改版.pptVIP

第四章 确定性推理方法 推理：求解问题的一种重要方法。从已知事实出发，通过运用已掌握的知识，找出其中蕴含的事实，或归纳出新的事实，这一过程通常称为推理。 确定性推理：知识和证据是确定的，结论也是确定的。 不确定推理： 单调推理、非单调推理 按照推理过程中推出的结论是否越来越接近最终目标来划分，推理又分为单调推理和非单调推理。 单调推理是在推理过程中随着推理向前推进及新知识的加入，推出的结论越来越接近最终目标。 非单调推理是在推理过程中有新知识的加入，不仅没有加强已推出的结论，反而要否定它，使推理退回到前面的一步，然后重新开始。（知识不完全情况下发生。）X是鸟，会飞，X是企鹅，不会飞。 命题逻辑 命题：能判断真假的陈述句为命题。 命题公式：单个常量或变量的命题称作合式公式。合式公式有限次组合所构成的字符串称为命题公式。 命题逻辑的基本联接词有： ~， ?， ?， ?， 等价，当且仅当，双条件 命题公式的解释： 设A为一个命题公式，P1 P2 P3 ,…,Pn 是出现在A中的全部命题变量，给P1 P2 P3 ,…,Pn各指定一个真值（0或1），称为对A的一个赋值或解释。 公式的分类 永真式：若A无成假赋值，则称A为重言式。或永真式。 永假式 可满足式：若A至少有一个成真赋值，则称A为可满足式。 非重言式的可满足式：若A至少有一个成真赋值，又至少有一个成假赋值，则称A为非