Modelisation and Automation of Reasoning in Geometry. The ARGOS System: A Learning Companion for High-School Pupils

Autor:	J. P. Spagnol
Rok vydání:	2002
Předmět:	Automated theorem proving Descriptive knowledge Conjecture Argos system business.industry Computer science Backward chaining Geometry Mathematical problem solving business Automation
Zdroj:	Intelligent Tutoring Systems ISBN: 9783540437505 Intelligent Tutoring Systems
DOI:	10.1007/3-540-47987-2_116
Popis:	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.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::00994cca7efedb1c16da91c922d9211a https://doi.org/10.1007/3-540-47987-2_116 Zobrazit plný text záznamu