首页> 中文期刊>软件学报 >子句型缺省逻辑中的分情形推理

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《软件学报》|2001年第8期|1140-1146|共7页
作者
许道云; 丁德成; 张明义;
展开▼
作者单位

南京大学数学系;

南京大学数学系;

贵州科学院;

展开▼
原文格式 PDF
正文语种 chi
中图分类理论、方法;
关键词
缺省逻辑; 扩张; 分情形推理;
入库时间 2022-08-18 05:35:43

相似文献

中文文献
外文文献
专利

1. 子句型缺省理论的推理算法 [J] . 董明楷 ,张明义 . 计算机科学 . 2001,第005期
2. 语用推理中的缺省逻辑与常规关系 [J] . 高海龙 . 国际安全研究 . 2011,第002期
3. 试论语用推理中的缺省逻辑因素 [J] . 高海龙 . 山东外语教学 . 2008,第006期
4. 基于统计缺省逻辑的多Agent推理模型 [J] . 张敏 . 福建电脑 . 2008,第010期
5. 一种带缺省推理的描述逻辑 [J] . 董明楷 ,蒋运承 ,史忠植 . 计算机学报 . 2003,第006期
6. 一种带缺省推理的描述逻辑 [C] . 董明楷 ,蒋运承 ,史忠植 . 中国科学院计算技术研究所第七届计算机科学与技术研究生学术讨论会 . 2002
7. 一阶谓词逻辑下子句型信念的非修正推理方法 [A] . 张嵩 . 2016

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号