| 《计算机学报》文章摘要 全文下载 | |
| 文章题目 | 缺省逻辑的累积性变种的扩张特征 |
| 作者 | 张明义 张 颖 |
| 作者单位 | (贵州大学计算机科学系 贵阳 550025) (贵州科学院 贵阳 550001) |
| 发表年份 | 1998 |
| 发表月份 | 2期 (页码：119—-126) |
| 文章摘要 | Giordano和Martelli提出了Reiter的缺省逻辑(DL)的两个新变种:CADL(Commitment to Assumptions Default Logic)与QDL(Quasi-Default Logic),它们都具有累积性,但不再具半单调性,QDL甚至不再承诺预设(Commit to assumptions). 本文基于我们已经导出的CDL(Cummulative Default Logic)与DL扩张的特征, 通过建立CADL扩张与CDL扩张之间以及QDL扩张与DL扩张间的关系,获得了CADL与QDL扩张的新特征.并据此得到相应的主要推理任务的算法及复杂性. |