%0 Journal Article
%T 扩充析取逻辑程序的争论语义
%A 周立柱
%A 王克文
%A 陈火旺
%J -
%D 2000
%X 该文探讨争论推理在扩充逻辑程序中的实现及其关系问题.基于“相干原理”，建立了扩充逻辑程序的争论推理框架，多种争论推理形式都可以嵌入其中.特别是提出了一种谨慎语义Acc.同时又定义了良基语义的一种合理扩充Mod,以处理较为大胆的推理形式.另外也研究了相关的理论性质
%K 析取逻辑程序
%K 明显否定
%K 争论推理
%K 语义.
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=20000302&flag=1