Abstract
Our purpose is to illustrate, through the conception and realization of an ITS for the construction of geometric figures, an approach to the expression of the pedagogical contract based on first order logic. It is critical for the contract to be very precise as well as understandable and explanable throughout. This requires the teacher to define the specification of the goal to be attained and the context using tools with a precise semantics. The means of expression available to the student for constructing a solution must also possess a clear semantics. We show that a methodology associating a formula in a logic language which is common to the specification and to the solution makes it possible to give a first concrete definition of a given contract. We can then better grasp both the requirements for the contract not accounted for in a first stage and the constraints of implementation and efficiency. Certain points which still require improvement—e.g., the exact meaning of negation and the non particularity of constructions—are brought to light. Finally, we present the results of experiments with exercises typically found in geometry textbooks.
Preview
Unable to display preview. Download preview PDF.
Bibliographie
Aida, H., Tanoka, H., Moto-Oka, T., “A Prolog Extension for Handling Negative Knowledege”, New Generation Computing, n∘1, Springer Verlag, 1983.
Ackerman, W., Solvable cases of the Decision Problem, North Holland, 1984.
Allen, R., Nicolas, O., Trilling, L., “Sur la correction d'une figure dans un système d'EIAO pour la géométrie”, Actes des Journées EIAO, PRC Intelligence Artificielle, Cachan, décembre 1989.
Allen, R., Nicolas, P., Trilling, L., “Figure Correctness in an Expert System for teaching Geometry”, Proceedings of the eight biennal conference of the Canadian society for computational studies of intelligence, Ottawa, May 22–25, 1990, pp. 154–160.
Apt, K.R., Blair, H., Walker, A., “Towards a theory of declarative knowledge”, J of ACM, 29, 1987, pp. 841–862.
Baulac, Y., Un micromonde de géométrie, Cabri-géomètre, Thèse de l'université Joseph Fourier Grenoble 1990.
Chou, S.C., “A Method for the Mechanical Derivation of Formulas in Elementary Geometry”, Journal of Automated Reasoning, vol. 3, 1987, pp. 291–299
Desmoulins, C., Trilling, L., “Translation of a figure specification into a logical formula in a system for teaching geometry”, Proceedings of the Sixth International PEG Conference, Rapallo, Italy, 1991, pp.292–303.
Fauvergue, P., Mathématiques 4e, Editions CASTEILLA, 1988.
Gras R., “Aide logicielle aux problèmes de démonstration géométrique dans l'enseignement secondaire”, Petit X, 17, Grenoble, 1988, pp. 65–83.
Grégoire, E., Logiques non monotones et intelligence artificielle, Hermès, paris, 1990.
Kowalski, R., Logic for Problem Solving, North-Holland, New York, 1979.
Laborde, J.-M. Trilling, L., “Conception et réalisation d'un système intelligent d'apprentissage de la géométrie”, Présentation de projet LSDD-IMAG, Grenoble, 1989.
Leasimbe, “Interfaces non-classiques en Intelligence Arificielle”, Journées PRC IA, Toulouse 1988.
Leman, S., Construction et correction d'une formule logique associée à figure géométrique Cabri, Projet de DEA d'Informatique, IMAG-LGI, Grenoble, 1991.
Le Nestour, A., Rouxel, R., rapport de stage C.R.E.F.F.I.B., Rennes, 1984.
McCarthy, J., “Circumscription: a form of non-monotonic reasoning”, Artificial Intelligence, 13, 1980, pp. 27–39.
Py, D., “MPENTONIEZH, an I.T.S in Geometry”, Proceedings of the 4th International Conference on AI and Education, Amsterdam, 1989, pp. 202–209.
Py, D., Reconnaissance de plan pour l'aide à la démonstration dans un tuteur intelligent de la géométrie, Thèse de l'université de Rennes, 1990.
Thaysse, A., et al., Approche logique de l'intelligence artificielle, Dunod, 1989.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Allen, R., Desmoulins, C., Trilling, L. (1992). Tuteurs Intelligents et Intelligence Artificielle: problèmes posés en construction de figures géométriques. In: Frasson, C., Gauthier, G., McCalla, G.I. (eds) Intelligent Tutoring Systems. ITS 1992. Lecture Notes in Computer Science, vol 608. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55606-0_40
Download citation
DOI: https://doi.org/10.1007/3-540-55606-0_40
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55606-0
Online ISBN: 978-3-540-47254-4
eBook Packages: Springer Book Archive