中文摘要：

随着知识库规模的扩大及结构的日趋复杂,一阶逻辑表达能力有限的问题暴露得越来越严重,基于高阶逻辑的知识表示显得尤为必要.原有基于KDK和KDK＊的研究必然导致向高阶逻辑研究的拓展.首先概述了基于知识库的知识发现,然后介绍了高阶逻辑知识表示语言Escher、双基融合机制KDK和KDK＊,最后在高阶逻辑背景下,扩展双基融合机制的内涵,给出了面向高阶逻辑的KDK＊过程模型逻辑等价定理.

英文摘要：

With expanding of the knowledge base scale and increasingly complication of its structure,the problems of the limited capability of first-order logic expose to be more and more serious,thus the application that based on knowledge representation of higher-order logic is quite necessary.The original research based on KDK and KDK＊ will inevitably lead to development and research of higher first-order logic.This paper first summarizes the knowledge discovery that based on the knowledge base,then introduces the representation language of the high-order logic knowledge-Escher,KDK and KDK＊.At last,expands the connotation of Double-Bases Cooperating Mechanism under the background of first-order logic,and illustrate the equivalence theorem of KDK＊ process model logic that is facing the high-order logic.