32 非单调逻辑和非单调推理

3-2非单调逻辑和非单调推理引言限定推理缺省逻辑自认识逻辑非单调推理中难题真值维护系统3-2-0 引言经典逻辑（即单调推理、 或基于谓词逻辑推理）: 以一个无矛盾公理系统为基础, 每当加入新事实, 能