Geometric Construction Problem Solving in Computer-Aided Learning - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2012

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é.
Fichier principal
Vignette du fichier
Schreck-Mathis-Narboux-short.pdf (81.37 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-00753551 , version 1 (19-11-2012)

Identifiers

Cite

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⟩

Collections

CNRS SITE-ALSACE
152 View
792 Download

Altmetric

Share

Gmail Facebook X LinkedIn More