Design and implementation of a declarative dynamic geometry system
Conception et mise en oeuvre d'un système déclaratif de géométrie dynamique
Résumé
The objective of this thesis is to demonstrate the feasibility of a declarative dynamic geometry system. GDRev, which stands for Reversible Declarative Geometry, is such a system and has been design and implemented with the teaching of geometry in mind. From the logical point of view, GDRev is based on the definition of a logic language ELDL, which stands for Extented Logical Description Language. LDL is used to express specifications of geometric figures which form the mathematical objects underlying drawings of figures. LDL provides clauses which allow specifications to be recursive and allow specifications to be expressed in modular format. GDRev possesses a construction and animation language whose semantics are defined using ELDL. The GDRev interface can be viewed as a declarative extension of that of Cabri-Géomètre. On the one hand, the interface must provide equivalent direct manipulation operations carried out on the figure and on the drawing, and, on the other hand, it must maintain at all times a coherence between the figure and drawing. From the algorithmic point of view, GDRev solves geometric constraints using cooperation of solvers based on the concurrent constraint programming paradigm. Three general solvers, one linear, one quadratic, one interval, cooperate with three specific solvers that are original to this work. One of the specific solvers is the object completion solver which creates automatically geometric objects necessary for constructing the figure. The second is the property completion solver which adds automatically redondant properties to obtain a construction of the figure. The ruler and compass solver calculates an optimized construction with which to drag the figure rapidly. GDRev is implemented using interaction between the interfaces which are written in Visual C++ and the geometric constraint solver which is written in Prolog IV. The tests carried out on the system have given encouraging results, especially those concerning the choice of heuristics used.
Cette thèse a pour objet de montrer la faisabilité d'un système de "géométrie dynamique déclarative". Un tel système, GDRev (pour Géométrie Déclarative Réversible) a été conçu et réalisé, dans l'optique de l'enseignement de la géométrie. D'un point de vue conceptuel, GDRev repose sur la définition d'un langage logique, ELDL (pour Extented Logical Description Language), pour l'expression de spécifications de "figures" (l'objet mathématique sous-jacent à un dessin) : il intègre la possibilité de spécifications modulaires et récursives, via l'usage de "clauses". Au niveau dessin, GDRev est pourvu d'un langage de construction et d'animation dont la sémantique est définie à l'aide de ELDL. l'interface, qui peut être vu comme une extension déclarative de celle de Cabri-Géomètre, doit assurer, d'une façon originale, d'une part des fonctionnalités équivalentes par manipulation directe sur la figure et sur le dessin, d'autre part un invariant imposant la cohérence temporelle entre figure et dessin. D'un point de vue algorithmique, GDRev résout les contraintes géométriques par "coopération de solveurs" reposant sur un schéma de "programmation concurrente avec contraintes". Trois résolveurs généraux (linéaires, quadratiques, intervalle) coopèrent avec trois résolveurs spécifiques et originaux : complétion d'objets (créant automatiquement des objets), complétion de propriétés (ajoutant automatiquement des propriétés redondantes à la figure), règle et compas (calculant une construction optimisée de la figure pour l'animation du dessin). D'un point de vue pratique, GDRev est réalisé par interopérabilité entre les interfaces écrites en Visual C++ et le résolveur de contraintes géométriques écrit en Prolog IV. Les expérimentations réalisées ont donné des résultats encourageants en particulier en ce qui concerne le choix des heuristiques utilisées.
Loading...