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é.
Type de document :
Communication dans un congrès
24th IEEE International Conference on Tools with Artificial Intelligence, Nov 2012, Athens, Greece. IEEE, pp.1139 - 1144, 2012, ICTAI. 〈10.1109/ICTAI.2012.162〉
Liste complète des métadonnées

Littérature citée [16 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00753551
Contributeur : Julien Narboux <>
Soumis le : lundi 19 novembre 2012 - 13:38:13
Dernière modification le : jeudi 11 janvier 2018 - 06:22:39
Document(s) archivé(s) le : jeudi 21 février 2013 - 11:25:11

Fichier

Schreck-Mathis-Narboux-short.p...
Fichiers produits par l'(les) auteur(s)

Identifiants

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. IEEE, pp.1139 - 1144, 2012, ICTAI. 〈10.1109/ICTAI.2012.162〉. 〈hal-00753551〉

Partager

Métriques

Consultations de la notice

164

Téléchargements de fichiers

630