《计算机学报》文章摘要   全文下载
文章题目	认识逻辑(1):关于知识和信念的逻辑框架
作者	刘瑞胜 孙吉贵 刘叙华
作者单位	(吉林大学计算机科学系 长春 130023)
发表年份	1998
发表月份	7期
文章摘要	知识和信念是人工智能领域研究中经常涉及到的两个重要概念.本文讨论了知识和信念的涵义与关系，定义了认识逻辑系统EL，讨论了它的语法和语义，证明了认识逻辑EL不但是可靠的而且是完备的.认识逻辑EL不但可以用来描述人类的认识过程，还可以用于对常识推理以及分布式系统的形式化描述.