知识库系统的逻辑基础

摘要：

针对知识库系统的研究现状和存在的问题,分析了用经典一阶谓词逻辑作为知识库系统逻辑基础的不充分性,根据知识库系统的特点和需求,指出可计算性逻辑既能为知识库系统提供合理的逻辑基础,义能弥补经典逻辑作为知识库系统逻辑基础的不足.并在此基础上用证明论方法,建立了一个基于可计算性逻辑的完备子集CL4的知识库系统的公理系统,显示出易于表达、操作简单的特点.

关键词：可计算性逻辑、知识库系统、博弈、交互、资源

所属期刊栏目：32

分类号：TP301(计算技术、计算机技术)

资助基金：国家自然科学基金60574075.60674108

在线出版日期：2010-01-15（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：2123-2129