###
DOI:
Journal of Software:2001.12(8):1140-1146

子句型缺省逻辑中的分情形推理
许道云,丁德成,张明义
(南京大学数学系江苏南京 210093)
On Reasoning by Cases in Clausal Default Logic
XU Dao yun,DING De cheng,ZHANG Ming yi
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 2797   Download 2739
    
> 中文摘要: 引进一种树型方法以研究缺省逻辑中分情形推理下的Roos扩张,深入讨论了Roos扩张的计算,并分析了Roos扩张与Reiter扩张的关系.为计算Roos扩张,引入了从子句集分解最小文字集的算法.方法对于在缺省逻辑中计算Roos扩张以及分析分情形推理的计算复杂性是有用的.
中文关键词: 缺省逻辑  扩张  分情形推理
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.
文章编号:     中图分类号:    文献标志码:
基金项目:
Foundation items:
Reference text:

许道云,丁德成,张明义.子句型缺省逻辑中的分情形推理.软件学报,2001,12(8):1140-1146

XU Dao yun,DING De cheng,ZHANG Ming yi.On Reasoning by Cases in Clausal Default Logic.Journal of Software,2001,12(8):1140-1146