缺省逻辑的累积性变种的扩张特征

摘要：

Giordano和Martelli提出了Reiter的缺省逻辑(DL)的两个新变种:CADL(Commitmentto Assumptions Default Logic)与QDL(Quasi-Default Logic),它们都具有累积性,但不再具半单调性,QDL甚至不再承诺预设(Commit to assumptions).本文基于我们已经导出的CDL(Cummula-tive Default Logic)与DL扩张的特征,通过建立CADL扩张与CDL扩张之间以及QDL扩张与DL扩张间的关系,获得了CADL与QDL扩张的新特征.并据此得到相应的主要推理任务的算法及复杂性.

关键词：缺省逻辑、扩张、累积性、(联合)相容性、算法

所属期刊栏目：21

分类号：TP301(计算技术、计算机技术)

资助基金：国家高技术研究发展计划863计划;贵州省自然科学基金

在线出版日期：2005-08-25（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：119-126