相关逻辑及其推理被引量：1

下载PDF

导出

摘要为了排除“实质蕴涵怪论”,Ackermann于五十年代提出了相关逻辑。尔后,由Anderson和Belnap等人进行了研究。近期,其进一步研究主要集中在美国和澳大利亚。本文简要介绍了命题相关逻辑R的一个子系统LR及其自动推理方法。

作者孙吉贵刘叙华

机构地区吉林大学计算机科学系

出处《计算机科学》 CSCD 北大核心 1993年第4期13-18,共6页 Computer Science

关键词相关逻辑推理

参考文献1

1A. W. Bollen. Relevant logic programming[J] 1991,Journal of Automated Reasoning(4):563～585

1张贤坤,刘栋,高珊,杜磊.基于强相关逻辑的不精确应急时态知识表示[J].计算机工程与应用,2012,48(15):138-143.
2程京德.相关推论与强相关逻辑[J].科技导报,2016,34(7):39-47. 被引量：1
3赵建喆,李凯.基于强相关逻辑的贝叶斯网络结构学习方法[J].情报学报,2014,33(11):1204-1214.
4刘叙华,孙吉贵.相关逻辑L_5系统的Curry性质[J].中国科学（A辑）,1993,23(12):1320-1325.
5黄景文,周舟.SQL Server触发器的应用[J].电脑开发与应用,2005,18(11):4-5. 被引量：2
6赵涛,李韬,孙志刚,卞洪飞,黄金锋.REFINE:一种可重构的SDN转发平面实现模型[J].小型微型计算机系统,2015,36(10):2284-2288. 被引量：2
7姚其昌,卢国轩,蓝伟.ARV路径跟踪控制算法研究[J].车辆与动力技术,2012(3):11-16.
8孙宏亚.PLC在无尘室空气温湿度和压力自动控制中的应用[J].电工技术,2014(3):42-43.
9刘文秀.三种趋近律下的倒立摆滑模控制器设计与实现[J].韶关学院学报,2011,32(10):34-37. 被引量：1
10何晶.智能告警系统在地区调控中的应用[J].科技风,2013(23):55-55. 被引量：1

计算机科学

1993年第4期

内容加载中请稍等...