子句型缺省逻辑中的分情形推理

• 作者: 丁德成 张明义 许道云
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 缺省逻辑 扩张 分情形推理
• 年，卷（期）: 2001,（8）
• 页码范围: 1140-1146
• 页数: 7页
• 分类号: TP301
• 字数: 1877字
• 语种: 中文

摘要

引进一种树型方法以研究缺省逻辑中分情形推理下的Roos扩张,深入讨论了Roos扩张的计算,并分析了Roos扩张与Reiter扩张的关系.为计算Roos扩张,引入了从子句集分解最小文字集的算法.方法对于在缺省逻辑中计算Roos扩张以及分析分情形推理的计算复杂性是有用的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	丁德成	南京大学数学系	6	9	2.0	3.0
2	张明义		18	89	5.0	9.0
3	许道云	南京大学数学系	2	5	1.0	2.0