Abstract
ARGOS is a Knowledge-based system for automated theorem proving (ATP) which can automatically solve geometry problems at high-school level. An expert, or the user, gives to ARGOS at the same time declarative knowledge and the way to explain it in a proof and the system automatically builds different kinds of rules implementing different ways of using knowledge: classical ways as forward and backward chaining but also dynamically creating new objects or launching conjectures in mathematical problem solving. For each exercise solved, the system builds a proof that is written in the way a mathematics teacher would write it and adapted to the user’s level. The system also tries to meta-explain its research mechanisms indicating its dynamic creations and conjecture calls in the written proof.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Spagnol, J.P. (2002). Modelisation and Automation of Reasoning in Geometry. The ARGOS System: A Learning Companion for High-School Pupils. In: Cerri, S.A., Gouardères, G., Paraguaçu, F. (eds) Intelligent Tutoring Systems. ITS 2002. Lecture Notes in Computer Science, vol 2363. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-47987-2_116
Download citation
DOI: https://doi.org/10.1007/3-540-47987-2_116
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43750-5
Online ISBN: 978-3-540-47987-1
eBook Packages: Springer Book Archive