Skip to main content
SpringerLink
Log in

Micro-Robots as a Source of Motivation for Geometry

  • Conference paper
Intelligent Learning Environments: The Case of Geometry

Part of the book series: NATO ASI Series ((NATO ASI F,volume 117))

  • 51 Accesses

Abstract

We describe some robots based micro-worlds and we show how they can be useful to present some geometrical problems. The basic ideas about modelling, the need for formal systems can be examinated here. The different types of models: ‘models by physicists’ based upon laws built from observation and measures or ‘models by mathematicians’ based upon geometrical descriptions needing the choice of representations can be presented. The roles of a model to represent a real world are underlined and this can lead to the necessity of proving properties in the geometrical descriptions of a given robot. The work done shows that we can find tools to motivate children for geometry, to exhibit the need for formal descriptions to be able to predict phenomena, events,... The need for proofs in geometry can be shown in very motivating environments based upon trucks, cranes, arms,... We know that the perception of the needed for a proof is crucial for beginners. The micro-worlds we have designed appear to us as a required pre-culture useful to reach better basic attitudes in geometry. In a second part, we describe the work we have done to design a shell to write intelligent tutoring systems (ITS).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

Part 1: Learning environments

  • Papert S . (1980) Mindstorms: children, computers and powerful ideas, Basic Books, New York.

    Google Scholar 

  • Baulac Y., Bellemain F., Laborde J.M. (1988), CABRI-géomètre, un logiciel d’aide à l’enseignement de la Geometrie, logiciel et manuel d’utilisation, Cedic-Nathan.

    Google Scholar 

  • Vivet M . (1986), Pilotage de Micro-robots sous LOGO, un outil pour sensibiliser les personnels de l’industrie à la robotique - 5e symposium canadien sur la technologie pédagogique. Ottawa, mai 1986. Paru dans le livre “A Fècole des robots”, robo-thèque du CESTA, p. 195 – 210.

    Google Scholar 

  • Vivet M . (1986), Driving Micro-robots under LOGO: a way to approach geometry.Proceedings of the second international conference for LOGO and maths education.Institute of Education. University of London., July 1986, pp. 216–225.

    Google Scholar 

  • Vivet M . (1989), Which goal, which pedagogical attitudes with micro-robots in a class room? NATO Advanced Research Workshop on Student Development of Physics Concepts: The Role of Educational Technology, Pavia, Italy, October 1989.

    Google Scholar 

Part 2: ITS

  • Anderson J.R., C.F.Boyle, Yost G., (1985), The geometry tutor, proceedingd of the 9th International Joint conference on artificial intelligence,IJCAI9, August 1985.

    Google Scholar 

  • Baron M., Vivet M. (1988). systèmes experts et tuteurs intelligents, Congrès AFCET -Reconnaissances des formes et intelligence artificielle, Antibes, November 1988.

    Google Scholar 

  • Buthion M . (1975), Un programme qui résout formellement des problèmes de constructions géométriques, these 3ème cycle, Université de Paris VI, 1975.

    Google Scholar 

  • Buthion, M. (1979), Un programme qui résout formellement des problèmes de constructions géométriques, RAIRO Informatique, vol. 13, no 1.

    Google Scholar 

  • Chouraqui E., Inghiltera C, Veronis J. (1988), Conception d’une base de connaissances orientée objets pour l’EAO de la geometrie. Actes de l’Université d’été “Intelligence artificielle et enseignement des mathématiques”, Toulouse, 1988.

    Google Scholar 

  • Clancey W.J . (1983). The epistemology of a rule based Expert system - a framework for explanations, Artificial Intelligence 20, 215 – 251.

    Article  Google Scholar 

  • Genesereth (1982). The role of plans in intelligent teaching systems. In: D.Sleeman-J.S.Brown eds., Intelligent tutoring systems, Academic Press, p. 134 – 155.

    Google Scholar 

  • Guin D., Rousselot J.F. (1987), Recherche en vue de la realisation d’un programme d’aide à la demonstration en geometrie, actes COGNITIVA 87, Paris.

    Google Scholar 

  • Kassel G . (1986). Expliquer, c’est raisonner sur le raisonnement: le Systeme CQFE, VI ièmes journées internationales Systèmes experts et Applications, Avignon 1986, vol 2, p. 973 – 990.

    Google Scholar 

  • Kassel G., Parchemal Y., Pitrat J., Safar B. (1986) Pourquoi utiliser des métacon-naissances?. Journées nationales sur l’intelligence artificielle, PRC-IA, GRECO-CNRS, Aix-les-bains, 20/21 nov 1986, Cepadues editions, p. 79 – 88.

    Google Scholar 

  • Mandl H., Lesgold A.M. (eds) (1987) Learning issues for intelligent tutoring systems, Springer-Verlag, New York.

    Google Scholar 

  • Nicaud J.F., Vivet M. (1988). les tuteurs intelligents: realisations et tendances de recherche, synthese sur les tuteurs intelligents, revue Techniques et Science Informatiques -TSI vol 7,, n0 1, janv. 1988.

    Google Scholar 

  • Nicolas P., Allen R., Trilling L. (1987), Specification logique de figures pour Faide à F’enseignement de la geometrie, COGNITIVA 87, Paris, p. 26 – 32.

    Google Scholar 

  • Nicolas P . (1989), Construction et verification de figures géométriques dans le système MENTONIEZH, Thèse de FUniversité de Rennes 1.

    Google Scholar 

  • O’Shea T., Bornat R., Du Boulay B., Eisenstadt M., Page I. (1984). Tools for creating intelligent computer tutors. In: Elithor, Banerjii (eds), Human and artificial intelligence, North-Holland.

    Google Scholar 

  • Ohlsson S . (1986). Some principles of intelligent tutoring. In Instructional Science 14,. 293 – 326.

    Article  Google Scholar 

  • Pitrat J . (1986). connaissances et métaconnaissances. In intelligence des mécanismes et mécanismes de l’intelligence. Fondation DIDEROT. FAYARD (ed. J.L.Lemoigne), p. 75–113.

    Google Scholar 

  • Py D . (1989), MENTONIEZH: an ITS in geometry, 4th international conference on AI & education, Amsterdam, May, pp. 202–209.

    Google Scholar 

  • Ross P . (1988). Plan recognition for intelligent tutoring systems, Workshop IFIP-TC3,Frascati, mai 1987, in Artificial intelligence tools in education, North-Holland.

    Google Scholar 

  • Safar B . (1985). Explications dans les systernes experts, Journées systèmes experts,Avignon 1985.

    Google Scholar 

  • Self J . (1986). Artificial intelligence, Its potential in education and training, 5iéme symposium canadien sur la technologie symposium canadien sur la technologie pédagogique, Ottawa, May 1986, pp. 69–77.

    Google Scholar 

  • Self J . (1988a). Student models: what use are they?, Workshop IFIP-TC3, Frascati, May 1987, in Artificial intelligence tools in education, North-Holland.

    Google Scholar 

  • Self J . (1988b).Bypassing the intractable problem of student modelling, ITS 88,Montreal, juin 88, pp. 18–24.

    Google Scholar 

  • Self J . (1989).The case of formalising student models (and ITS generally), 4th International conference “AI and Education”, Amsterdam, May 1989.

    Google Scholar 

  • Sleeman D. and Brown J.S. (1982). intelligent tutoring systems, Academic Press,London.

    Google Scholar 

  • Vivet M . (1987a). systèmes experts pour enseigner: méta-connaissances et explications,congrès CESTA: MARI-COGNITIVA 87, Paris, 18/22 mai 1987.

    Google Scholar 

  • Vivet M . (1987b). Hierarchy of knowledges in an intelligent tutoring system; how to take account of the student, note interne CRIC, Presented during the European seminar on Intelligent tutoring systems, Tübingen, October 1987.

    Google Scholar 

  • Vivet M . (1988a). Reasoned explanations need reasoning on reasoning and reasoning on the student, Workshop IFIP-TC3, Frascati, mai 1987, in Artificial intelligence tools in education, North-Holland ( 1988 ).

    Google Scholar 

  • Vivet M., Futtersack M., Labat M. (1988b). Métaconnaissances dans les tuteurs intelligents, international conference Intelligents Tutoring Systems, Montréal, juin 1988.

    Google Scholar 

  • Vivet M . (1988c), Knowledge Based Tutors: Towards the design of a shell…, in International Journal for Educational Research and Instruction, 12(8), 839–850,Special issue edited by H. Mandl.

    Google Scholar 

  • Vivet M . (1988d), la prise en compte du contexte avec les tuteurs intelligents,conférence invitée, Premier congrès europeen é“intelligence artificielle et formation”,APPLICA 88, Lille, octobre 1988.

    Google Scholar 

  • Vivet M., Carrière E., Delozanne E. (1988e), presentation of different aspects of AMALIA: a knowledge based system for mathematics, European summer university on intelligent tutoring systems, Le Mans, October/November 1988.

    Google Scholar 

  • Vivet M . (1988f), Research in advanced educational technology: two methods. In: E.Scanlon, T. O’Shea (eds.), New directions in educational technology. Springer-Verlag, Berlin.

    Google Scholar 

  • Wenger E . (1987), Artificial Intelligence and tutoring systems Computational and cognitive Approaches to the Communication of knowledge, Morgan Kaufmann.

    Google Scholar 

  • Winans R.T., Whitaker E.T., Bonnel R.D. (1988), Theories of learning in computer-aided Instruction, The fifth International Conference on Technology and Education,Edinburgh, March 1988, p. 86–89.

    Google Scholar 

  • Yazdani (1986). Intelligent tutoring systems survey, AI Review 1, 43 – 52.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Laboratoire informatique, Université du Maine, BP 535, F-72017, Le Mans cedex, France

    Martial Vivet

Authors
  1. Martial Vivet
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Laboratoire de Structures Discrètes et de Didactique Institut d’ Informatique et de Mathématiques Appliquées de Grenoble, Université Joseph Fourier Centre Nationale de la Recherche Scientifique, BP 53, F-38041, Grenoble cedex 9, France

    Jean-Marie Laborde

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Vivet, M. (1996). Micro-Robots as a Source of Motivation for Geometry. In: Laborde, JM. (eds) Intelligent Learning Environments: The Case of Geometry. NATO ASI Series, vol 117. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-60927-5_14

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-60927-5_14

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-64608-9

  • Online ISBN: 978-3-642-60927-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation