After half a century research, the mechanical theorem proving in geometries has become an active research topic in the automated reasoning field. This review involves three approaches on automated generating readable ...After half a century research, the mechanical theorem proving in geometries has become an active research topic in the automated reasoning field. This review involves three approaches on automated generating readable machine proofs for geometry theorems which include search methods, coordinate-free methods, and formal logic methods. Some critical issues about these approaches are also discussed. Furthermore, the authors propose three further research directions for the readable machine proofs for geometry theorems, including geometry inequalities, intelligent geometry softwares and machine learning.展开更多
Spatial reasoning is a hot spot of artificial intelligence areas, and diffusely applied in areas such as geo-graphical information systems, robotic, high level vision, apprehends of natural languages, engineering desi...Spatial reasoning is a hot spot of artificial intelligence areas, and diffusely applied in areas such as geo-graphical information systems, robotic, high level vision, apprehends of natural languages, engineering design, andcommonsense reasoning about physical situations. This paper summarizes and discusses the represent ation of geometryof spatial objects roundly.展开更多
基金supported by the Funds of the Chinese Academy of Sciences for Key Topics in Innovation Engineering under Grant No.KJCX2-YW-S02
文摘After half a century research, the mechanical theorem proving in geometries has become an active research topic in the automated reasoning field. This review involves three approaches on automated generating readable machine proofs for geometry theorems which include search methods, coordinate-free methods, and formal logic methods. Some critical issues about these approaches are also discussed. Furthermore, the authors propose three further research directions for the readable machine proofs for geometry theorems, including geometry inequalities, intelligent geometry softwares and machine learning.
文摘Spatial reasoning is a hot spot of artificial intelligence areas, and diffusely applied in areas such as geo-graphical information systems, robotic, high level vision, apprehends of natural languages, engineering design, andcommonsense reasoning about physical situations. This paper summarizes and discusses the represent ation of geometryof spatial objects roundly.
