期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

认知逻辑系统SE及其语义模型被引量：1

下载PDF

导出

摘要文中对理性认知主体的知识和信念的特征进行了分析.利用算子K和B构造认知逻辑的形式系统SE和语义模型M,证明了SE关于M的可靠性和完备性.

作者谷飙

机构地区青海大学社会科学系

出处《青海大学学报（自然科学版）》 1998年第6期55-58,共4页 Journal of Qinghai University(Natural Science)

关键词认知逻辑语义模型可靠性完备性 SE

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

引文网络
相关文献

参考文献4

1弓肇样.广义模态逻辑.北京:中国社会科学出版社.1993. 328-358.
2刘瑞胜,孙吉贵,刘叙华.认识逻辑(1):关于知识和信念的逻辑框架[J].计算机学报,1998,21(7):627-637. 被引量：17
3Halpem J Y.Should knowledge entail belief,Joumal of Philosophien I logic,1996,(25):483-494.
4Hintikk J.Knowledge and belief.Comell University Press,1962,10-45.

二级参考文献3

1李未，中国科学.A，1992年，22卷，10期，1103页
2李季（译），心的分析，1958年
3Kant I，纯粹理性批判，1957年

共引文献16

1华东明,侯紫峰,韦卫,吴秋新.一种面向主体的密码协议设计逻辑[J].微电子学与计算机,2005,22(5):46-56.
2杨春华,涂正林.Agent理论和技术在电子战中的应用[J].现代雷达,2005,27(7):20-22. 被引量：2
3张敏,薛永生,胡文华,吴梅红,邓安生.基于模态缺省理论的多Agent系统的知识更新[J].计算机工程,2006,32(17):108-111.
4宁正元,胡山立,赖贤伟.交互时态信念逻辑及其模型检测[J].南京大学学报（自然科学版）,2008,44(2):171-178. 被引量：3
5刘瑞胜,孙吉贵,刘叙华.认识逻辑(3):基于语义tableau的证明理论[J].计算机学报,1998,21(S1):1-8. 被引量：5
6刘瑞胜,孙吉贵,刘叙华.认识逻辑(4):关于认识逻辑的可判定性[J].计算机学报,1998,21(S1):9-16.
7刘瑞胜,孙吉贵,刘叙华.认识逻辑(2):多认识主体的认识逻辑MEL[J].计算机学报,1998,21(7):639-641. 被引量：1
8缪治,邓辉宇.多Agent系统中的常识和分布式知识[J].计算机与数字工程,2009,37(7):85-87.
9谷飙.包含巴肯公式的认知谓词逻辑系统[J].青海大学学报（自然科学版）,1999,17(5):46-48.
10赵良才,朱大群,唐文献.智能体技术在CAPP开发工具中的应用[J].华东船舶工业学院学报,2000,14(1):55-59. 被引量：3

同被引文献2

1应明生.认知推理模型[J].中国科学：E辑,1998,28(6):314-317.
2刘瑞胜,孙吉贵,刘叙华.认识逻辑(1):关于知识和信念的逻辑框架[J].计算机学报,1998,21(7):627-637. 被引量：17

引证文献1

1谷飙.包含巴肯公式的认知谓词逻辑系统[J].青海大学学报（自然科学版）,1999,17(5):46-48.

1王勇,黄国兴,王雨,彭道刚.一种关于Agent的模糊认知逻辑[J].计算机应用与软件,2008,25(6):81-83. 被引量：2
2张文毅,王光生.基于Microsoft Math学习函数[J].信息技术教育,2008(1):71-73. 被引量：1
3崔志明,董屏.不确定性知识的非数值表示方法[J].计算机技术与发展,1992,14(4):8-10.
4杨鲲,陈建中,孙德刚,刘大有.认知逻辑中逻辑全知问题及其解决方法[J].吉林大学自然科学学报,1999(3):40-43. 被引量：11
5凌兴宏,黄志球,刘全,李凡长,崔志明.面向agent的统一知识表示与推理逻辑框架[J].南京大学学报（自然科学版）,2008,44(2):132-139.
6韩小文,潘爱华.第五代计算机及其认知逻辑方法[J].前沿科学,2007,1(1):18-23. 被引量：2
7江敏,毋国庆,刘小丽.多视点中不一致性的处理:一种基于认知逻辑的方法[J].计算机科学,2006,33(10):247-251.
8丁胜斌.集合范畴Set的伴随对及其在认知逻辑中应用[J].福建电脑,2010,26(6):93-93.
9骆翔宇,谭征,苏开乐,吴立军.一种基于认知模型检测的Web服务组合验证方法[J].计算机学报,2011,34(6):1041-1061. 被引量：14
10王太忠.认知逻辑简论[J].科技视界,2013(17):77-77.

青海大学学报（自然科学版）

1998年第6期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...

;

使用帮助返回顶部