Building Dynamic Mathematical
Models with Geometry Expert*
III. A Geometry Deductive Database
Institute of Systems Science
Academia Sinica, Beijing 100080
Geometry Expert (GEX) is a software system for dynamic diagram drawing and automated geometry theorem proving and discovering. For a given diagram, we can use GEX to generate a database which contains all the properties of this diagram that can be deduced from a fixed set of geometric rules or axioms, and for each geometric property in the database GEX can generate an elegant proof for it. Based on this software, we introduce the concept of dynamic logic model which can do reasoning itself. Logic models can be used for intelligent educational tasks, such as automated generation of test problems, automated evaluation of students' answers, intelligent tutoring, etc.
?1999. ATCM, Inc