基于PDA的知识库与数据库集成和通用推理算法

摘要：

@@ 由于关系数据库与传统的演绎推理都基于相同的数学背景,即一阶谓词逻辑,关系数据库的数据检索(关系演算)事实上都可以看成逻辑演算的一种特例,因此有人进行基于PC的知识库与数据库集成的研究[2-4],如将基于关系数据库的管理系统扩充为演绎推理等,但是这些处理都较复杂,如带回溯的搜索就很难在PDA上实现.

机标关键词：知识库、数据库集成、通用、推理算法、关系数据库、演绎推理、一阶谓词逻辑、系统扩充、数据检索、逻辑演算、关系演算、搜索、数学、回溯、管理、处理

所属期刊栏目：29

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

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

页数：共2页

页码：120-121