基于可计算性逻辑的知识表示与推理

• 作者: 刘三阳 许文艳
• 来源期刊: 吉林大学学报（理学版）
• 学科: 工学
• 关键词: 可计算性逻辑 知识库系统 知识表示 推理机
• 年，卷（期）: 2009,（6）
• 所属期刊栏目: 计算机科学
• 页码范围: 1230-1236
• 页数: 7页
• 分类号: TP182
• 字数: 6665字
• 语种: 中文
• DOI: 10.3321/j.issn:1671-5489.2009.06.025

摘要

以可计算性逻辑的完备子集CL4为基础进行知识表示, 将知识分为简单知识与一般知识. 通过分析知识库系统的特点和需求, 给出了采用正反向混合推理方法的推理机设计, 并举例说明以CL4为基础的知识库系统, 具有能够表达和查询更细致的知识、便于用户和系统交互的优点.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘三阳	西安电子科技大学理学院应用数学系	662	5562	32.0	51.0
2	许文艳	西安电子科技大学理学院应用数学系	3	45	2.0	3.0