第7章 高级知识推理高级知识推理n经典逻辑n确定性推理 单调性推理 n归约推理 肖解演绎推理 规则演绎推理n非经典逻辑n不确定性推理 非单调性推理 n时序推理 概率推理 经典逻辑与非经典逻辑的不同n 经典经典 非经典非经典n推理方法 演绎逻辑 归纳逻辑n辖域取值 二值 多值 模糊n运算法则 有些不成立n逻辑算符 逻辑算符 引入模态算符n单调性 单调 非单调单调推理和非单调推理n单调推理n基于谓词逻辑的推理系统是单调的n系统中已知为真的命题随着推理的进行而增加,结论越来越多n非单调推理n推理系统的定理集合不随推理过程的进行而单调增大n新推理出的定理可能修正以至否定原有的一些定理,使得原来能够解释的一些现象变得不可解释.非单调推理n非单调推理用来处理那些不适合用谓词逻辑表示的知识。n它能够较好地处理不完全信息、不断变化的情况以及求解复杂问题过程中生成的假设，具有较为有效的求解效率。缺省推理n在没有证据能够证明某命题不成立时,就承认该命题成立.n不具备命题的全部知识,也能够进行合理的推理并给出正确的结论n定义n如果X不知道，那么得结论Y。n如果X不能被证明，那么得结论Y。n如果X不能在某个给
