3-2非单调逻辑和非单调推理..docVIP

3-2非单调逻辑和非单调推理 引言 限定推理 缺省逻辑 自认识逻辑 非单调推理中的难题 真值维护系统 3-2-0 引言 经典逻辑（即单调推理、或基于谓词逻辑的推理）：以一个无矛盾的公理系统为基础，每当加入新的事实，能推出新的结论，而新的结论与原来的事实、结论和公理之间是一致而不矛盾的。由此，使得命题为真的数目随着推理的进行而严格增加，具有这种特点的推理即单调推理(Monotonic reasoning)。 单调推理的主要特点：真命题数越来越多，不会减少；推理结果不会与已有结论、事实发生冲突或矛盾。 非单调推理：人类思维本质上是非单调的。于对客观条件掌握的不充分，当有新的事实被认识时，可能导致原来的某些结论要被推翻。具有这种特点的推理即非单调推理(Non-monotonic reasoning)。最早由Minsky于1975年提出。 单调推理的主要特点：真命题数不一定越来越多；推理结果可能与已有结论、事实发生冲突或矛盾；推理结论可能推翻原来定理。 研究非单调推理的目的：为了描述和实现人的常识推理。 一个非单调逻辑和非单调推理的实例： “宋江刺配江州，路过揭阳镇时正遇病大虫薛永在使枪棒卖艺，眼见无人赏他银两，薛永惶恐。宋江仗义赠他白银五两。宋江此时自以为做了一件扶危济贫的事，必然会得到众人支持。谁知没遮拦穆弘、小遮拦穆春两弟兄出言不逊，横加阻拦，弄得宋江一行在镇上连饭也吃不成。晚上