基于析取逻辑程序设计的诱导推理

导出

摘要利用辩论推理模式 ,将负文字的析取式作为诱导推理的假设 ,建立了析取逻辑程序设计的一种诱导语义框架DAS .它不仅是实现辩论推理 (诱导 )的一种简单直观语义而且为析取逻辑程序的语义提供了一个统一的框架 .特别地 ,证明了著名的良基 (Well Founded)语义和EGCWA等都可以嵌入DAS .

作者王克文陈火旺吴泉源

机构地区国防科技大学计算机学院

出处《中国科学（E辑）》 CSCD 1998年第1期90-96,共7页 Science in China(Series E)

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

关键词逻辑程序设计常识推理辩论推理诱导推理

分类号 TP302.2 [自动化与计算机技术—计算机系统结构] TP311 [自动化与计算机技术—计算机软件与理论]

引文网络
相关文献

参考文献2

1王克文.双析取逻辑程序设计基础（Ⅰ）[J].计算机学报,1997,20(4):289-297. 被引量：1
2王克文，中国科学.E，1997年，27卷，4期，368页

二级参考文献2

1王克文，1996年
2Dung P M，Proc 8th Int Conf on Logic programming，1991年

1王克文.双析取逻辑程序设计基础（Ⅰ）[J].计算机学报,1997,20(4):289-297. 被引量：1
2马绍汉,张宏.诱导推理及其应用[J].计算机科学,1993,20(5):1-6. 被引量：3
3胡久稔,王克文.诱导推理的一种计算模型[J].小型微型计算机系统,1996,17(11):46-50.
4赵致琢.辩论的理论模型及其算法研究[J].计算机学报,1992,15(5):332-345.
5如何让办公成本减半?[J].办公自动化（办公设备与耗材）,2009(4):20-21.
6梁静国,林朗星,魏娟.基于灰色关联度的属性约简方法[J].统计与决策,2006,22(3):155-156. 被引量：1
7王克文,陈火旺,吴泉源,肖侬.析取稳定模型和大胆辩论推理[J].中国科学（E辑）,1998,28(3):268-273.
8吴晔,马绍汉.一类赋权诱导问题的多项式时间算法[J].计算机学报,1997,20(3):251-258.
9王克文,胡久稔.标记辩论推理系统[J].软件学报,1997,8(11):838-851.
10沈一栋.析取逻辑及析取逻辑程序的语义研究[J].中国科学（E辑）,1997,27(2):187-192.

中国科学（E辑）

1998年第1期

浏览历史

内容加载中请稍等...

基于析取逻辑程序设计的诱导推理

参考文献2

二级参考文献2

相关作者

相关机构

相关主题

浏览历史