| 《计算机学报》文章摘要 全文下载 | |
| 文章题目 | 知识库系统的逻辑基础 |
| 作者 | 许文艳 刘三阳 |
| 作者单位 | (西安电子科技大学理学院应用数学系 西安 710071) |
| 发表年份 | 2009 |
| 发表月份 | 11期(2123—2129) |
| 文章摘要 | 摘要 针对知识库系统的研究现状和存在的问题,分析了用经典一阶谓词逻辑作为知识库系统逻辑基础的不充分性,根据知识库系统的特点和需求,指出可计算性逻辑既能为知识库系统提供合理的逻辑基础,又能弥补经典逻辑作为知识库系统逻辑基础的不足.并在此基础上用证明论方法,建立了一个基于可计算性逻辑的完备子集CL4的知识库系统的公理系统,显示出易于表达、操作简单的特点. 关键词 可计算性逻辑；知识库系统；博弈；交互；资源 中图法分类号 TP301 DOI号: 10.3724/SP.J.1016.2009.02123 |