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

• 作者: 张明义 张颖
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 缺省逻辑 扩张 累积性 (联合)相容性 算法
• 年，卷（期）: 1998,（2）
• 所属期刊栏目: 研究论文与技术报告
• 页码范围: 119-126
• 页数: 8页
• 分类号: TP301
• 字数: 6241字
• 语种: 中文
• DOI: 10.3321/j.issn:0254-4164.1998.02.004

摘要

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扩张的新特征.并据此得到相应的主要推理任务的算法及复杂性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张明义	贵州大学计算机科学系	1	3	1.0	1.0
2	张颖		1	3	1.0	1.0