Auto-constraction Of Middle School Geometry-ontology And Its Usage In Mechanical Theorem Proving

Ontology, as a new rapidly emerging subject, its aim is to study the storage andsharing of knowledge in the computer, which is a bridge of knowledge with computers.Ontology has direct influence on the development of artificial intelligence, whoseadvanced applications are based on the precise and integrated knowledge representation.After development of decades, the theories of Ontology still have a distance tomature, especially to the construction and use of Ontology. Without an unified standard,these method’s effect depands on how experts familiar with their own field and what therequirements are which limits the Ontology’s sharing efficiency. Currently, Ontology’sconstruction is manual or half-automatic and there is almost no automatic construction.So, Ontology is limitted in its own field and it’s very hard to find Ontology suitable forinterdiscipline, which is contraried to the Ontolog’s original intention.This thesis proposes a method to automatically construct ontology, which will beapplied and verified in elementary geometry proof process. The major research contentis as follows:1. By learning fundamental theories of ontology, the meaning of knowledge, andevolutionary stratum and researching the structure of knowledge in cognitivepsychology and complexity science, pyramid knowledge system is proposed. And basedon the relationship among knowledge structure, ontology and brain, a pyramid way forbuilding ontology is proposed.2. Taken the proof process of the secondary geometry as research object and basedon the a construction way of pyramid, the thesis analyses and determines the knowledgestructure for building knowledge system. Meanwhile, the manual construction ofknowledge and the data of automatic processing are discussed.3. An ontology of Middle School Geometric Proof is contructed and the problems,such as ambiguity, Synonymy, Automatic Error Correction(AEC) and NaturalLanguage Processing, are solved.4. Combinning with the streamline feature of geometric proof, a “Multi-way Tree”algorithm, which restores the process of geometric proof, is proposed. 5. The construction and use of Ontology are shown by experiment.The experimental results show that the way to build Ontology is according to thethinking of human beings. It is suitable for most subjects’ requirement even theinterdiscipline; And this way basically realized automatic-construction of differentlevels, greatly saved the manpower and material resources compared with the manualstyle; this Ontology can successfully make the machine Auto-solution, and yet puts anew idea for mechanical theorem proving and Artificial Intelligence.