Automatic Knowledge Representation And Acquisition Based On First-order Logic

With the development of information technology, Smart Education and AIT(artificial intelligence technology) becomes the hot spot of worldwide attention. Traditional education is limited for the dependency on teachers,which leads to students’ failure on self-study if without help from teachers. Although to a degree,some online studying systems help students for self-testing,the problems through the progress can’t be discovered and corrected on time. So,this thesis focus on the study of online testing systems. For the of educational knowledge,adaptive acquiring and conducting of information from text,an adaptive valuing system is established to apply to elementary mathematics,providing a new path for the application of Smart Education in AIT. The main content is described as follows:1.Knowledge presentation of elementary mathematics. Based on elementary mathematics,this thesis propose a presentation method of first-order logic. The method combines OOT(Object-Oriented Technology)with Plane geometry and elementary algebra knowledge,separating restrictive rules from concepts. This makes it convenient for the extension and reasoning of knowledge base. Also,it solves the previous problem of First-order Predicate Logic method unable to present HOS.2.Classification and access of text knowledge. This thesis proposes an acquisition process of text knowledge based on predicate. It mainly includes the preprocessing of data text in the process,which contained splitting Chinese word, defining sentence boundaries and erasing error data, constructing model library of elementary mathematics, and using the library for the sentence semantic processing. It also tells how to extract the features in the text knowledge, how to construct the decision tree algorithm based on conditional probability, and prove the validity of the algorithm by experiments.The whole algorithm processes the natural language of text,while extracting information of text data for the definition of knowledge representation which is defined in this paper.3.According to the knowledge representation and text processing algorithms proposed, adaptive testing system of elementary mathematics is build. The system can do problem analysis and data mining of students to acquire knowledge in the process of problem solving, which is matched with the standard answer, to analyze the error types during problem solving. Problems and errors will be presented to students, helping them to improve their study efficiency.