认识逻辑(1):关于知识和信念的逻辑框架

• 作者: 刘叙华 刘瑞胜 孙吉贵
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 知识表示 模态逻辑 认识逻辑 知识 信念
• 年，卷（期）: 1998,（7）
• 所属期刊栏目: 研究论文与技术报告
• 页码范围: 627-637
• 页数: 11页
• 分类号: TP302
• 字数: 8351字
• 语种: 中文
• DOI: 10.3321/j.issn:0254-4164.1998.07.007

摘要

知识和信念是人工智能领域研究中经常涉及到的两个重要概念.本文讨论了知识和信念的涵义与关系,定义了认识逻辑系统EL,讨论了它的语法和语义,证明了认识逻辑EL不但是可靠的而且是完备的.认识逻辑EL不但可以用来描述人类的认识过程,还可以用于对常识推理以及分布式系统的形式化描述.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	孙吉贵	吉林大学计算机科学系	134	2984	21.0	52.0
2	刘瑞胜	吉林大学计算机科学系	7	55	3.0	7.0
3	刘叙华	吉林大学计算机科学系	4	51	3.0	4.0