期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
超协调逻辑(Ⅱ)——新超协调逻辑研究
被引量:
4
下载PDF
职称材料
导出
摘要
这是关于超协调逻辑研究的第二篇。文中,基于对超协调逻辑应具有的一定共性的理解,给出一个超协调逻辑的新定义,并给出在应用研究中提出的三类有代表性的新超协调逻辑,由于它们满足共同的逻辑性质,从而有一定的关系,特别是,它们与非单调逻辑密切有关,因此进一步提出一种相对于超协调性的超完全逻辑的定义与结果。
作者
林作铨
李未
机构地区
汕头大学计算机科学系
北京航空航天大学计算机系
出处
《计算机科学》
CSCD
北大核心
1994年第6期1-7,共7页
Computer Science
基金
国家自然科学基金
国家基础研究攀登计划
国家高技术八六三计划与李嘉诚学术基金
关键词
超协调逻辑
经典逻辑
分类号
TP301 [自动化与计算机技术—计算机系统结构]
引文网络
相关文献
节点文献
二级参考文献
0
参考文献
0
共引文献
0
同被引文献
28
引证文献
4
二级引证文献
33
同被引文献
28
1
林作铨,李未.
超协调逻辑(Ⅰ)——传统超协调逻辑研究[J]
.计算机科学,1994,21(5):1-8.
被引量:7
2
林作铨,李未.
超协调逻辑(Ⅲ)——超协调性的逻辑基础[J]
.计算机科学,1995,22(1):1-4.
被引量:2
3
林作铨,李未.
超协调逻辑(Ⅳ)——非单调超协调逻辑研究[J]
.计算机科学,1995,22(1):4-9.
被引量:3
4
林作铨.
超协调限制逻辑[J]
.计算机学报,1995,18(9):665-670.
被引量:3
5
林作铨.
一个在弗协调逻辑中的限制[J]
.软件学报,1995,6(5):290-295.
被引量:6
6
林作铨,李未.
悖论逻辑的表演算[J]
.软件学报,1996,7(6):345-353.
被引量:3
7
蔡和熙.悖论逻辑的计算复杂性分析:硕士论文[M].汕头大学,1997.45-56.
8
林作铨,J Pattern Recognit Artif Intell,1996年,10卷,6期,679页
9
林作铨,计算机科学,1994年,22卷,1期,1页
10
Tsien H S. Engineering Cybernetics. McGraw-Hill Book Company, Inc, 1954.
引证文献
4
1
王清毅,陈恩红,刘贵全,蔡庆生.
处理知识库中不一致性的超决定逻辑研究[J]
.软件学报,1998,9(4):311-315.
被引量:4
2
蔡和熙,林作铨.
超协调限制逻辑的计算复杂性分析[J]
.软件学报,1998,9(11):839-844.
3
蔡和熙,林作铨,陈沐天.
LP_m逻辑语义的一种改进[J]
.汕头大学学报(自然科学版),1999,14(1):86-92.
4
王飞跃.
社会信号处理与分析的基本框架:从社会传感网络到计算辩证解析方法[J]
.中国科学:信息科学,2013,43(12):1598-1611.
被引量:29
二级引证文献
33
1
王飞跃,王艳芬,陈薏竹,田永林,齐红威,王晓,张卫山,张俊,袁勇.
联邦生态:从联邦数据到联邦智能[J]
.智能科学与技术学报,2020,2(4):305-311.
被引量:29
2
曾庆田,梁永全,段华.
综述:知识系统的V&V技术[J]
.计算机科学,2006,33(2):19-24.
被引量:2
3
陈朝东,黄国兴.
图论在产生式系统知识库维护中的应用[J]
.微型电脑应用,2000,16(4):35-37.
被引量:7
4
陈朝东,黄国兴,鲍钰.
基于加权产生式规则知识库的不一致性和冗余性研究[J]
.计算机科学,2000,27(8):67-69.
被引量:3
5
王飞跃,高彦臣,商秀芹,张俊.
平行制造与工业5.0:从虚拟制造到智能制造[J]
.科技导报,2018,36(21):10-22.
被引量:15
6
王飞跃.
软件定义的系统与知识自动化:从牛顿到默顿的平行升华[J]
.自动化学报,2015,41(1):1-8.
被引量:89
7
王飞跃,王晓,袁勇,王涛,林懿伦.
社会计算与计算社会:智慧社会的基础与必然[J]
.科学通报,2015,60(5):460-469.
被引量:78
8
王飞跃.
从工程控制到社会管理:控制论Cybernetics本源的个人认识与展望[J]
.控制理论与应用,2014,31(12):1621-1625.
被引量:5
9
王飞跃.
从激光到激活:钱学森的情报理念与平行情报体系[J]
.自动化学报,2015,41(6):1053-1061.
被引量:28
10
王飞跃.
情报5.0:平行时代的平行情报体系[J]
.情报学报,2015,34(6):563-574.
被引量:79
1
林作铨,李未.
超协调逻辑(Ⅳ)——非单调超协调逻辑研究[J]
.计算机科学,1995,22(1):4-9.
被引量:3
2
陈冬火,张宏斌.
基于超协调逻辑处理含有非协调信息的系统规约[J]
.计算机应用与软件,2011,28(2):139-141.
3
韩庆,林作铨.
不协调知识的缺省推理(英文)[J]
.软件学报,2004,15(7):1030-1041.
被引量:1
4
张玉平.
搜索算法的逻辑分析[J]
.软件学报,1999,10(2):175-180.
被引量:1
5
林作铨,李未.
超协调逻辑的统一基础[J]
.模式识别与人工智能,1995,8(3):210-216.
6
林作铨,李未.
超协调逻辑(Ⅲ)——超协调性的逻辑基础[J]
.计算机科学,1995,22(1):1-4.
被引量:2
7
林作铨,李未.
悖论逻辑的表演算[J]
.软件学报,1996,7(6):345-353.
被引量:3
8
何云,鲁汉榕.
常识推理中的矛盾知识处理方法[J]
.空军预警学院学报,1999,26(2):51-55.
9
林作铨.
悖论逻辑及其表演算[J]
.计算机学报,1998,21(S1):17-23.
10
岳安步,林作铨.
基于四值语义的缺省逻辑[J]
.计算机学报,2005,28(9):1447-1458.
被引量:1
计算机科学
1994年 第6期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部