PDA-oriented Integration of Knowledge Base and Database and Public Inference
基于PDA的知识库与数据库集成和通用推理算法

由于关系数据库与传统的演绎推理都基于相同的数学背景,即一阶谓词逻辑,关系数据库的数据检索(关系演算)事实上都可以看成逻辑演算的一种特例,因此有人进行基于PC的知识库与数据库集成的研究,如将基于关系数据库的管理系统扩充为演绎推理等,但是这些处理都较复杂,如带回溯的搜索就很难在PDA上实现。因此,针对PDA的容量和处理能力,为了一体化地管理数据和知识,把农业专家系统中的推理机制放到数据和知识的集成环境中,使推理过程靠近数据,减少由于规则处理和数据分离造成的接口开销,本文研究将知识库与数据库集成,以便在PDA上处理演绎推理,并与文提出的综合知识表示和综合推理策略结合起来,提出了基于PDA的通用推理算法。