Geometric Construction Problem Solving in Computer-Aided Learning

Author

Schreck, P. ; Mathis, P. ; Narboux, J.

Author_Institution

Univ. de Strasbourg, Strasbourg, France

Volume

1

fYear

2012

fDate

7-9 Nov. 2012

Firstpage

1139

Lastpage

1144

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 Progé.

Keywords

CAD; PROLOG; computer aided instruction; constraint satisfaction problems; engineering graphics; knowledge based systems; problem solving; CAD methods; Proge; Prolog; computer aided design; computer aided learning; constraint satisfaction problems; educational technology; geometric construction problem solving; geometric construction programs; knowledge based system; Cognition; Design automation; Electronic mail; Engines; Geometry; Knowledge based systems; Semantics; constraint satisfaction; geometric construction problem; knowledge based systems; knowledge representation;

fLanguage

English

Publisher

ieee

Conference_Titel

Tools with Artificial Intelligence (ICTAI), 2012 IEEE 24th International Conference on

Conference_Location

Athens

ISSN

1082-3409

Print_ISBN

978-1-4799-0227-9

Type

conf

DOI

10.1109/ICTAI.2012.162

Filename

6495179