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

https://hal.inria.fr/hal-00753551
Contributor : Julien Narboux <>
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

File

Schreck-Mathis-Narboux-short.p...
Files produced by the author(s)

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

570

Files downloads

2208