%0 Journal Article
%T 非单调性和不一致性的处理——一个基于线性逻辑的方法
%A 孙永强
%A 黄林鹏
%J -
%D 1993
%X 本文提出一种基于线性逻辑的理论L1,它除了能较好地反映常识推理的非单调性外,还可以在矛盾存在的情况下继续组织有效的推理
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=19930403&flag=1