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