Skip to Main content Skip to Navigation
Conference papers

Geometric Construction Problem Solving in Computer-Aided Learning

Abstract : Constraint satisfaction problems related to geometry mostly arise in CAD. But even though they are designed for geometry, none of the methods proposed to solve these problems fully meets the requirements needed by the educational domain. In this paper, we adapt CAD methods to education and show that results must be construction programs in order to take into account particular cases. We present then a framework implemented in Prolog as a knowledge-based system called Progé.
Document type :
Conference papers
Complete list of metadata

Cited literature [16 references]  Display  Hide  Download
Contributor : Julien Narboux Connect in order to contact the contributor
Submitted on : Monday, November 19, 2012 - 1:38:13 PM
Last modification on : Thursday, April 23, 2020 - 2:26:30 PM
Long-term archiving on: : Thursday, February 21, 2013 - 11:25:11 AM


Files produced by the author(s)




Pascal Schreck, Pascal Mathis, Julien Narboux. Geometric Construction Problem Solving in Computer-Aided Learning. 24th IEEE International Conference on Tools with Artificial Intelligence, Nov 2012, Athens, Greece. pp.1139 - 1144, ⟨10.1109/ICTAI.2012.162⟩. ⟨hal-00753551⟩



Record views


Files downloads