| 子句型缺省逻辑中的分情形推理 |
| |
| 引用本文： | 许道云,丁德成,张明义.子句型缺省逻辑中的分情形推理[J].软件学报,2001,12(8):1140-1146. |
| |
| 作者姓名： | 许道云 丁德成 张明义 |
| |
| 作者单位： | 1. 南京大学数学系
2. 贵州科学院 |
| |
| 摘 要： | 引进一种树型方法以研究缺省逻辑中分情形推理下的Roos扩张,深入讨论了Roos扩张的计算,并分析了Roos扩张与Reiter扩张的关系.为计算Roos扩张,引入了从子句集分解最小文字集的算法.方法对于在缺省逻辑中计算Roos扩张以及分析分情形推理的计算复杂性是有用的.
|
| 关 键 词： | 缺省逻辑 扩张 分情形推理 |
On Reasoning by Cases in Clausal Default Logic |
| |
| XU Dao yun,DING De cheng and ZHANG Ming yi.On Reasoning by Cases in Clausal Default Logic[J].Journal of Software,2001,12(8):1140-1146. |
| |
| Authors: | XU Dao yun DING De cheng and 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. |
| |
| Keywords: | default logic extension reasoning by cases |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
