首页 | 本学科首页   官方微博 | 高级检索  
     

认识逻辑(1):关于知识和信念的逻辑框架
引用本文:刘瑞胜,孙吉贵,刘叙华.认识逻辑(1):关于知识和信念的逻辑框架[J].计算机学报,1998,21(7):627-637.
作者姓名:刘瑞胜  孙吉贵  刘叙华
作者单位:吉林大学计算机科学系,长春,130023
基金项目:国家自然科学基金,863高科技基金
摘    要:知识和信念是人工智能领域研究中经常涉及到的两个重要概念。本文讨论了知识和信念的涵义与关系,定义了认识逻辑系统EI,讨论了它的语法和语义,证明了认识逻辑EL不但是可靠的而且是完备的,认为逻辑EL不但可以用来描述人类的认识过程,还可以用于对常识推理以及分布式系统的形式化描述。

关 键 词:模态逻辑  认识逻辑  知识  信念  人工智能
修稿时间:1996年12月2日

EPISTEMIC LOGIC (1):A LOGICAL FRAMEWORK FOR KNOWLEDGE AND BELIEF
LIU Rui-Sheng,SUN Ji-gui,LIU Xu-hua.EPISTEMIC LOGIC (1):A LOGICAL FRAMEWORK FOR KNOWLEDGE AND BELIEF[J].Chinese Journal of Computers,1998,21(7):627-637.
Authors:LIU Rui-Sheng  SUN Ji-gui  LIU Xu-hua
Abstract:Knowledge and belief are two important concepts in artificial intelligence, and researchers have been more and more interested in their formal reasoning systems recently, but their methods, now available, cannot completely reflect the nature of knowledge and belief, so it is necessary to reconstruct a new epistemic logic. In this paper the meanings of knowledge and belief, and the relation between them are first discussed. Then a logic system EL is proposed for knowledge and belief, and their semantics and axiom system are discussed. It is proved that epistemic logic EL is sound and complete. Epistemic logic EL can be applied not only for nonmonotonic reasoning, but also for distributed multi-agent system.
Keywords:Knowledge representation  modal logic  epistemic logic  knowledge  belief
本文献已被 CNKI 维普 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号