%0 Journal Article
%T 标记辩论推理系统
%A 王克文？
%A 胡久稔？
%J 软件学报
%P 838-851
%D 1997
%X lin提出的辩论推理系统为非单调推理形式提供了一种统一的基础，其推理机制由所谓的论点结构实现．由lin的系统导出的非单调推理并不具有累加性，而该性质是衡量一个非单调推理关系的重要标志之一．利用brewka的方法，本文提出标记辩论推理的概念，并且证明缺省逻辑cdl可以嵌入本系统，从而也间接地给出了标记辩论系统具有累加性的一种充分条件．为了彻底地恢复累加性，本文提出了强封闭论点结构的概念，且由标记辩论系统的强封闭论点结构定义的非单调推理具有累加性．
%K 非单调推理
%K 缺省逻辑
%K 累加性
%K 辩论推理
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=19971106&flag=1