Double-Bases Cooperating Mechanism Based on Higher-Order Logic

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.