| 摘要: |
| 引进一种树型方法以研究缺省逻辑中分情形推理下的Roos扩张,深入讨论了Roos扩张的计算,并分析了Roos扩张与Reiter扩张的关系.为计算Roos扩张,引入了从子句集分解最小文字集的算法.方法对于在缺省逻辑中计算Roos扩张以及分析分情形推理的计算复杂性是有用的. |
| 关键词: 缺省逻辑 扩张 分情形推理 |
| DOI： |
| 分类号: |
| 基金项目: |
|
| On Reasoning by Cases in Clausal Default Logic |
|
XU Dao yun,DING De cheng,ZHANG Ming yi
|
| Abstract: |
| In this paper, a kind of tree method is proposed to investigate Roos extensions about the reasoning by cases in default logic, discuss deeply the computation of Roos extensions and analyze the relationship between Roos extensions and Reiter s extensions. The algorithm decomposing the smallest set of literals from a set of clauses is presented to compute Roos extensions. The method is useful for computing Roos extensions and analyzing the complexity of reasoning by cases in default logic. |
| Key words: default logic extension reasoning by cases |
