非单调推理的研究现状

<正>一、引言 早在1959年,McCart~[1]就发现常识和常识推理很难处理,因为在常识推理中当前得出的结论,可能会由于以后新事实的加入而被取消.这就是所谓的“非单调性”。

Context的非单调推理

基于文［１］定义的ｃｏｎｔｅｘｔ逻辑ＣＬ，本文分别引入限制理论和缺省理论到ｃｏｎ－ｔｅｘｔ推理中，给出有关的定义和定理。