Abstract
We propose to use didactical theory for the design of educational software. Here we present a set of didactical conditions, and explain how they shape the software design of Cabri-Euclide, a microworld used to learn “mathematical proof ” in a geometry setting. The aim is to design software that does not include a predefined knowledge of problem solution. Key features of the system are its ability to verify local coherence, and not to apply any global and automatic deduction.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Ag-Almouloud, S. (1992). L’ordinateur, outil d’aide à l’apprentissage de la démonstration et de traitement de données didactiques. Thèse de troisième cycle. Université de Rennes 1.
Anderson, J., Boyle, F., Corbett, A., Yost, G. (1985). The geometry tutor. Proceedings of IJCAI 1985. Los Angeles, pp. 1–7.
J. Anderson C. Boyle A. Corbett M. Lewis (1990) ArticleTitleCognitive modelling and intelligent tutoring Artificial Intilligence 42 IssueID1 7–49 Occurrence Handle10.1016/0004-3702(90)90093-F
G. Arsac (1988) ArticleTitleLes recherches actuelles sur l’apprentissage de la démonstration et les phénomènes de validation en France Recherches en Didactique des Mathématiques 9 IssueID3 247–280
M. Artigue (1991) ArticleTitleAnalyse de processus d’enseignement et environnement informatique Petit X 26 5–27
N. Balacheff (1987) ArticleTitleProcessus de preuve et situations de validation Educational Studies in Mathematics 18 147–176 Occurrence Handle10.1007/BF00314724
N. Balacheff (1988) Une étude des processus de preuve en mathématiques chez les élèves de Collège Thèse d’état Université Joseph Fourier Grenoble
N. Balacheff (1991) The benefits and limits of the social interaction: The case of mathematical proof Bishop J. (Eds) et al. Mathematical Knowledge: Its Growth Through Teaching. Kluwer Academic Publishers Dordrent 175–192
Balacheff, N. (1994). Didactique et Intelligence Artificielle. Recherches en didactique des mathématiques, Volume 14/1.2. La Pensée Sauvage.
N. Balacheff (1999) Apprendre la preuve J. Sallantin J.J. Szczeciniarz (Eds) La preuve à la lumière de l’intelligence artificielle, à paraître. PUF Paris
Bazin, J.M. (1993). Un modèle d’expert en résolution de problème de géométrie. Journées EIAO Cachan 1993.
F. Bellemain (1992) Conception, réalisation et expérimentation d’un logiciel d’aide à l’enseignement de la géométrie: Cabri-géomètre Thèse LSD2-IMAG. Université Joseph Fourier Grenoble
Bernat, P. (1993). CHYPRE : Un logiciel d’aide au raisonnement. Repères – IREM 10.
Brousseau, G. (1997). Theory of Didactical Situations Edition and translation by N. Balacheff, M. Cooper, R. Sutherland and V. Warfield, Dordrecht: Kluwer Academic Publishers.
Carbonneaux, Y., Laborde, J.-M. and Madani, M. R. (1995). Cabri-graph: A tool for research and teaching in graph. Graph Drawing’95, J. B. Frank, (Eds), (pp. 123–126) Springer Verlag, Lecture Notes in Computer Science, vol.1027.
Desmoulins, C. (1996). Le diagnostic de la correction d’une Figure géométrique : le système TALC. Sciences et Technologies Educatives 3(2).
Dimitracopoulou, A. (1995). Le tutorat dans les systèmes informatisés d’apprentissage : étude de la conception et réalisation d’un tutoriel d’aide à la représentation physique des situations étudiées par la mécanique. Thèse Université Paris VII.
Duval, R. (1989). L’organisation déductive du discours. In Annales de Didactique et Sciences Cognitives 2 (pp. 25–40) IREM de Strasbourg.
R. Duval (1991) ArticleTitleStructure du raisonnement déductif et apprentissage de la démonstration Educational Studies in Mathematics 22 233–261 Occurrence Handle10.1007/BF00368340
R. Duval (1992) ArticleTitleArgumenter, démontrer, expliquer: Continuité ou rupture cognitive ? In Petit x 31 37–61
Guin, D. (1989). Réflexions sur les logiciels d’aide à la démonstration en géométrie. Annales de Didactique de Sciences Cognitives 89–109.
D. Guin (1995) A Cognitive Analysis of Geometry Proof Focused on Intelligent Tutoring Systems Nato Asi Series. Springer Verlag Berlin 82–93
C. Hoyles K. Jones (1998) Proof in dynamic geometry contexts C.V. Mammana V. Villani (Eds) Perspectives on the Teaching of Geometry for the 21st Century. Kluwer Dordrecht 121–128
Jean, S., Delozanne E., Jacoboni, P. and Grugeon, B. (1999). A diagnosis on a qualitative model of competence. S. Lajoie and M. Vivet (Eds), In Artificial Intelligence in Education, IOS press:
Kayser, D. (1997) La représentation des connaissances, éditions Hermes, Paris, France.
C Laborde J.-M. Laborde (1992) Problem solving in geometry: from microworlds to intelligent computer environments J. Ponte (Eds) et al. Mathematical Problem Solving and New Information Technology, NATO ASI Series. Springer Verlag Berlin 177–192
Laborde, C. and Capponi, B. (1994). Cabri-géomètre constituant d’un milieu pour l’apprentissage de la notion de Figure géométrique. Recherches en Didactique des Mathématiques, Vol. 14/1.2 (pp. 165–210) La Pensée Sauvage.
J. Laborde (1985) Projet d’un Cahier Brouillon Informatique de Géométrie Rapport interne LSD (IMAG) Grenoble
I. Lakatos (1976) Proof and Refutations Cambridge University Press Cambridge
V. Luengo (1993) Contraintes Informatiques et apprentissage de la démonstration à propos de trois logiciels Mémoire du DEA de Didactique des disciplines Scientifiques Grenoble
Luengo, V. (1997). Cabri-Euclide:un micromonde de preuve intégrant la réfutation. Principes didactiques et informatiques. Réalisation. Thèse. Grenoble:Université Joseph Fourier.
V. Luengo N. Balacheff (1998) ArticleTitleContraintes informatiques et environnements d’apprentissage de la démonstration en mathématiques Sciences et Technologies Educatives 5 IssueID1 15–45
Luengo, V. (1999). Analyse et prise en compte de contraintes didactiques et informatiques dans la con ception et ledéveloppement du micromonde de preuve Cabri-Euclide. Sciences et Technologies Educatives 6(1).
Py, D. (1996). Aide à la démonstration en géométrie:le projet Mentoniezh. Sciences et Technologies Educatives 3(2).
J. Sallantin (19 9) ArticleTitle91) Théories semi-empiriques: Conceptualisation et illustrations Revue d’intelligence artificielle 5 IssueID1 9–67
A. Schoenfeld (1985) Mathematical Problem solving Academic Press Orlando
S. Tessier J.M. Laborde (1994) Description des événements Apple acceptés par Cabri-géomètre Rapport Technique, IMAG, Université Joseph Fourier Grenoble
Webber, C., Bergia, L., Pesty, S. and Balacheff, N. (2001). The Baghera project: a multi-agent architecture for human learning. Proceedings of the Workshop Multi-Agent Architectures for Distributed Learning Environments, AIED2001, San Antonio, TX, USA. pp. 12–17. On-line Proceedings.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Luengo, V. Some didactical and Epistemological Considerations in the Design of Educational Software: The Cabri-euclide Example. Int J Comput Math Learning 10, 1–29 (2005). https://doi.org/10.1007/s10758-005-4580-x
Issue Date:
DOI: https://doi.org/10.1007/s10758-005-4580-x