3-2非单调逻辑和非单调推理1. 引言2. 限定推理3. 缺省逻辑4. 自认识逻辑5. 非单调推理中的难题6. 真值维护系统3-2-0引言经典逻辑(即单调推理、或基于谓词逻辑的推理)：以一个无矛盾的公理系统为基础，每当加入新的事实，能推出新的结论，而新的结论与原来的事实、结论和公理之间是一致而不矛盾的。由此，使得命题为真的数目随着推理的进行而严格增加，具有这种特点的推理即单调推理(Monotonicreasoning)。单调推理的主要特点：真命题数越来越多，不会减少；推理结果不会与已有结论、事实发生冲突或矛盾。非单调推理：人类思维本质上是非单调的。于对客观条件掌握的不充分，当有新的事实被认识时，可能导致原来的某些结论要被推翻。具有这种特点的推理即非单调推理(Non-monotonicreasoning)。最早由Minsky于1975年提出。单调推理的主要特点：真命题数不一定越来越多；推理结果可能与已有结论、事实发生冲突或矛盾；推理结论可能推翻原来定理。研究非单调推理的目的:为了描述和实现人的常识推理。一个非单调逻辑和非单调推理的实例：
