Research on Knowledge Discovery for Complex Knowledge System based on Higher Order Logic

Discovery of new knowledge from the knowledge base (KDK) is a new and important research field in data mining. KDK may solve the "lack of knowledge" which is the bottlenecks of intelligent system. With the expansion of knowledge base and the structure becoming more complex, the express ability of first-order logic is no more satisfied with the requirement. In hence, higher order logic will inevitably replace first-order logic. In this paper, some issues related with knowledge discovery for complex knowledge system based on higher order logic are discussed, which include from first-order logic knowledge representation to higher order logic, Escher knowledge representation, and the other key techniques of KDK. The aim of this paper is to provide theoretical support and directions for the further research on KDK.