Geometric construction problem solving in computer-aided learning

Sue Pope; Pascal Schreck; Pascal Mathis; Julien Narboux

doi:10.1109/ICTAI.2012.162

Geometric construction problem solving in computer-aided learning

Sue Pope, Pascal Schreck, Pascal Mathis, Julien Narboux

Research output: Chapter in Book/Report/Conference proceeding › Chapter

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é. © 2012 IEEE.

Original language	English
Title of host publication	Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI\|Proc. Int. Conf. Tools Artif. Intell. ICTAI
Place of Publication	www.mathcentre.ac.uk/problemsolving
Pages	1139-1144
Number of pages	5
Volume	1
DOIs	https://doi.org/10.1109/ICTAI.2012.162
Publication status	Published - 2012
Event	2012 IEEE 24th International Conference on Tools with Artificial Intelligence, ICTAI 2012 - Athens Duration: 1 Jul 2012 → …

Other

Other	2012 IEEE 24th International Conference on Tools with Artificial Intelligence, ICTAI 2012
City	Athens
Period	1/07/12 → …

Keywords

constraint satisfaction
geometric construction problem
knowledge based systems
knowledge representation

Access to Document

10.1109/ICTAI.2012.162

Cite this

@inbook{34686920e8d84ace82878023f4814618,

title = "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{\'e}. {\textcopyright} 2012 IEEE.",

keywords = "constraint satisfaction, geometric construction problem, knowledge based systems, knowledge representation",

author = "Sue Pope and Pascal Schreck and Pascal Mathis and Julien Narboux",

year = "2012",

doi = "10.1109/ICTAI.2012.162",

language = "English",

volume = "1",

pages = "1139--1144",

booktitle = "Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI|Proc. Int. Conf. Tools Artif. Intell. ICTAI",

note = "2012 IEEE 24th International Conference on Tools with Artificial Intelligence, ICTAI 2012 ; Conference date: 01-07-2012",

}

Pope, S, Schreck, P, Mathis, P & Narboux, J 2012, Geometric construction problem solving in computer-aided learning. in Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI|Proc. Int. Conf. Tools Artif. Intell. ICTAI. vol. 1, www.mathcentre.ac.uk/problemsolving, pp. 1139-1144, 2012 IEEE 24th International Conference on Tools with Artificial Intelligence, ICTAI 2012, Athens, 1/07/12. https://doi.org/10.1109/ICTAI.2012.162

Geometric construction problem solving in computer-aided learning. / Pope, Sue; Schreck, Pascal; Mathis, Pascal et al.
Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI|Proc. Int. Conf. Tools Artif. Intell. ICTAI. Vol. 1 www.mathcentre.ac.uk/problemsolving, 2012. p. 1139-1144.

Research output: Chapter in Book/Report/Conference proceeding › Chapter

TY - CHAP

T1 - Geometric construction problem solving in computer-aided learning

AU - Pope, Sue

AU - Schreck, Pascal

AU - Mathis, Pascal

AU - Narboux, Julien

PY - 2012

Y1 - 2012

N2 - 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é. © 2012 IEEE.

AB - 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é. © 2012 IEEE.

KW - constraint satisfaction

KW - geometric construction problem

KW - knowledge based systems

KW - knowledge representation

U2 - 10.1109/ICTAI.2012.162

DO - 10.1109/ICTAI.2012.162

M3 - Chapter

VL - 1

SP - 1139

EP - 1144

BT - Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI|Proc. Int. Conf. Tools Artif. Intell. ICTAI

CY - www.mathcentre.ac.uk/problemsolving

T2 - 2012 IEEE 24th International Conference on Tools with Artificial Intelligence, ICTAI 2012

Y2 - 1 July 2012

ER -

Geometric construction problem solving in computer-aided learning

Abstract

Other

Keywords

Access to Document

Fingerprint

Cite this