期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

析取稳定模型和大胆辩论推理

原文传递

导出

摘要将任意析取逻辑程序自然转化为一个辩论推理框架 ,大胆辩论推理的实现则由所有极大可接受假说刻画 ,从而提出了一种实现大胆辩论推理的析取逻辑程序系统 ,并得到了一些有意思的结果 ,特别是证明了大胆辩论推理可由析取稳定语义实现 .

作者王克文陈火旺吴泉源肖侬

机构地区湖南师范大学计算机系国防科学技术大学计算机学院

出处《中国科学（E辑）》 CSCD 1998年第3期268-273,共6页 Science in China(Series E)

基金国家"八六三"高技术计划资助项目

关键词辩论推理析取稳定模型人工智能大胆辩论推理

分类号 TP18 [自动化与计算机技术—控制理论与控制工程]

引文网络
相关文献

参考文献3

1王克文，J Comput Sci Technol，1998年，13卷，3期，193页被引量：1
2王克文，中国科学.E，1998年，28卷，1期，90页被引量：1
3王克文，中国科学.E，1997年，27卷，4期，368页被引量：1

1王克文.双析取逻辑程序设计基础（Ⅰ）[J].计算机学报,1997,20(4):289-297. 被引量：1
2王克文,陈火旺,吴泉源.基于析取逻辑程序设计的诱导推理[J].中国科学（E辑）,1998,28(1):90-96.
3沈一栋.析取逻辑及析取逻辑程序的语义研究[J].中国科学（E辑）,1997,27(2):187-192.
4梅俊杰,刘蕻,原国伟,王以松.带函数析取逻辑程序的无基集及其应用[J].计算机科学与探索,2015,9(6):747-755.
5梁静国,林朗星,魏娟.基于灰色关联度的属性约简方法[J].统计与决策,2006,22(3):155-156. 被引量：1
6王克文,胡久稔.标记辩论推理系统[J].软件学报,1997,8(11):838-851.
7庄朝晖.一个带有依赖关系的知识库[J].厦门大学学报（自然科学版）,2011,50(6):989-993.
8敬石开,姜浩,许文婷,周竞涛.考虑执行可靠性的云制造服务组合算法[J].计算机辅助设计与图形学学报,2014,26(3):392-400. 被引量：22
9尹晓璐,李广军.基于语义的Web服务查询[J].实验科学与技术,2005,3(1):31-34. 被引量：6
10王克文,陈火旺,吴泉源.扩充析取逻辑程序的诱导语义[J].中国科学（E辑）,1997,27(4):368-374.

中国科学（E辑）

1998年第3期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...

;

使用帮助返回顶部