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

PDA-oriented Integration of Knowledge Base and Database and Public Inference

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

This paper studies the correspondence relation between the knowledge and the database to combine the synthetic knowledge representation and the relation database;defines the fields in the database as the feature in the knowledge base such as rule,weight and result for integrating the knowledge base and database. At last,the paper introduces a public PDA-oriented inference algorism.