Macro-Definitions, a Basic Component for Interoperability between ILEs at the Knowledge Level : Application to Geometry

Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1452)


Within a given domain, a significant number of Interactive Learning Environments (ILEs) have been developed during the last decade, but they can not interoperate because of incompatible hardware, operating systems or knowledge representations. Our research aims at defining principles and models for interoperation between ILEs. In this paper we focus on the knowledge level. Our goal is to present a general framework for domain knowledge translation, using what we call macro-definitions. They allow us to specify a general translator for a given domain. After analysing principles used in ad hoc approaches, we provide a formal definition of the macro-definition concept and we demonstrate that it meets our goals. We illustrate the ease of the implementation of this concept with the example of interoperation between two ILEs in the geometry domain, TALC and MENTONIEZH.


Knowledge Representation Knowledge Translation Target Language Knowledge Level Source Language 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Bernat, P.: CALQUES2. Topiques Editions, Nancy (France) (1994)Google Scholar
  2. 2.
    Desmoulins, C.: On the didactic contract in an ITS for teaching geometry. In Proceeding of the 7th International PEG Conference. Edimbourg. (1993)Google Scholar
  3. 3.
    Desmoulins, C. and Macrelle, M.: Interopérer via des macro-définitions pour partager des connaissances, Application aux EIAH de géométrie. In IC’98. Nancy. LORIA (1998) 12Google Scholar
  4. 4.
    Desmoulins, C. and Trilling, L.: Translation of a figure specification into a logical formula in a system for teaching geometry. In Proceeding of the 6th International PEG Conference. Genova (Italy). CNR (1991) 292–303Google Scholar
  5. 5.
    Dubourg, X.: Modélisation de l’Interaction en EIAO, une Approche Événementielle pour la Réalisation du Système REPÈRE. Ph. D. Thesis. Caen University, Caen (France) (1995) 48–56Google Scholar
  6. 6.
    Giorgiutti, I. and Baullac, Y.: Interaction micromonde/tuteur en géométrie, le cas de Cabri-géomètre et de DEFI. Proceeding of EIAO’91. Les Éditions de l’École Normale Supérieure de Cachan. (1991) 11–18Google Scholar
  7. 7.
    Jackiw, N.: The Geometer’s Sketchpad. Key curriculum Press (1995)Google Scholar
  8. 8.
    Kernighan, B. and Ritchie, D.: The C Programming Language. Prentice Hall, Upper Saddle River (NJ) (1988)Google Scholar
  9. 9.
    Laborde, J.-M. and Bellemain, F.: Cabri-Geometry II, Software and User Handbook. Texas Instruments Inc., Dallas (Texas) (1994)Google Scholar
  10. 10.
    Macrelle: HDL to CDL Macro-Definition Set. LORIA (, Nancy (France) (1998)Google Scholar
  11. 11.
    Orfali, R., et al.: Instant CORBA. Wiley Computer Publishing, New York (1997)Google Scholar
  12. 12.
    PrologIA: PrologII+, Reference Manual. PrologIA, Marseille (1995)Google Scholar
  13. 13.
    Py, D.: Geometry problem solving with Mentoniezh. Computers in Education. 20(1) (1993) 141–146CrossRefGoogle Scholar
  14. 14.
    Ritter, S. and Koedinger, K.R.: An Architecture for Plug-in Tutor Agents. Journal of Artificial Intelligence in Education. 7(3/4) (1996) 315–347Google Scholar
  15. 15.
    Tahri, S.: Modélisation de l’interaction didactique: un tuteur hybride sur Cabrigéomètre. Ph. D. Thesis. Joseph Fourier University, Grenoble (1993) 226Google Scholar
  16. 16.
    Tessier, S. and Laborde, J.-M.: Descriptions des Événements Apple Acceptés par Cabri-géomètre. IMAG, Grenoble (1994)Google Scholar
  17. 17.
    Van Labeke, N., et al.: Designing Adaptable Educational Software: a Case-study for Spatial Geometry. In Proceedings of ED-MEDIA’98. Freiburg, Germany. (to appear) (1998)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  1. 1.LORIA & Université Henri PoincaréVandoeuvre-lès-Nancy cedexFrance

Personalised recommendations