Une modélisation mathématique de la compréhension des énoncés additifs

Guin, Dominique

Mathématiques et Sciences humaines, Tome 120 (1992), p. 49-77 / Harvested from Numdam

Résumé

Cet article fait suite à l'article paru dans le volume 113 de cette revue (D. Guin [15]) où nous avons mis en évidence certains processus cognitifs élémentaires dans l'activité de compréhension d'énoncés additifs, puis proposé une modélisation de la compréhension permettant de prendre en compte ces processus. Dans celle modélisation basée sur la notion d'opérateur, nous avons distingué deux étapes : la compréhension linguistique de l'énoncé et la réduction à un prototype. Nous utiliserons des formalismes mathématiques (Grammaire Applicative, Logique Combinatoire) dans cette modélisation inspirée du modèle de la Grammaire Applicative et Cognitive de J.-P. Desclés pour définir les archétypes cognitifs du domaine des énoncés additifs. Les lois exprimées à l'aide de combinateurs (lois linguistiques, lois d'intégration lexicales et lois sémantiques) nous permettront de réaliser par une compilation de représentations fonctionnelles une simulation des deux étapes du processus cognitif de compréhension d'un énoncé additif.

Abstract

This article is following an article published in volume 113 of this journal (D. Guin [15]) where we have pointed out some cognitive elementary processes in the understanding activity of additive word problems, then suggested a modeling which enables us to take into account these processes. In this modeling based on the operator notion, we have distinguished two steps : understanding the terms of the problem and reducing it to a prototypical problem. We use mathematical formalisms (Applicative Grammar and Combinatorial Logic) in this modeling inspired by the Applicative and Cognitive Grammar model of J.-P. Desclés to define the cognitive archetypes of the additive word problems domain. Laws expressed with combinators (linguistic laws, laws of lexical integration and semantic laws) enable us to realize, by a compilation of functional representations, a simulation of the two steps of the cognitive process of understanding an additive word problem.

Détail

Publié le : 1992-01-01

Zbl 0900.92195 | 1 citation dans Numdam

Bibliographie

[1] Ajdukiewicz K., "Die syntaktishe Konnexität", Studia Philosophica, vol 1, (1935), 1-27. | JFM 62.1050.03 | Zbl 0015.33702

[2] Bar-Hillel Y., "A quasi-arithmetical notation for syntactic description", Language, vol 29, (1953), 47-58, traduit in Langages, vol 9, (1968), 9-22. | Zbl 0156.25402

[3] Birkhoff G., "On the structure of abstract algebras", Proc. Cambridge Philos. Soc., vol 31, (1935), 433-454. | JFM 61.1026.07 | Zbl 0013.00105

[4] Church A., The Calculi of Lambda Conversion, Princeton University Press, 1941. | JFM 67.0041.01 | MR 5274 | Zbl 0026.24205

[5] Curry H.B., Feys R., Combinatorial Logic, vol 1, North Holland, 1958. | MR 94298

[6] Descles J.P., "Opérateurs/Opérations, méthodes intrinsèques en informatique fondamentale ; applications à la linguistique et aux bases de données", thèse d'état, Université René Descartes, 1980.

[7] Descles J.- P., "Réseaux sémantiques : La nature logique et linguistique des relateurs", Langages, vol 87, (1987), 55-78.

[8] Descles J.-P., "Théorème de Church-Rosser et structuration des Langues naturelles", Mathématiques Informatique et Sciences humaines, vol 103, (1988), 67-92. | Numdam | MR 975881 | Zbl 0663.03006

[9] Descles J.-P., Langages applicatifs, langues naturelles et cognition, Paris, Hermès, 1990.

[10] Descles J.-P., FROIDEVEAUX CH., "Axiomatisation de la notion de repérage abstrait", Mathématiques et Sciences humaines, vol 78, (1982), 73-119. | Numdam | MR 688395 | Zbl 0491.68084

[11] Descles J.-P., Abraham M., Piotrowski D., Segond F., "Langage naturel et représentations cognitives : un problème d'architecture et de compilation", Actes du Colloque de l'A.R.C, (1990), 290-303.

[12] Frege G., Grundgesetze der Arithmetik, begriffsschriftlich abgeleitet, Band I. Jena, 1893; traduction en anglais par M. Furth: The basic Laws of Arithmetic, exposition of the system, Univ. of California Press, 1964. | JFM 25.0101.02

[13] Ginisti J.-P., "Présentation de la Logique Combinatoire en vue de ses applications", Mathématiques Informatique et Sciences humaines, vol 103, (1988), 45-66. | Numdam | MR 975880 | Zbl 0663.03005

[14] Grize J.-B., Logique Moderne III, Paris, Mouton, Gauthier-Villars, 1973.

[15] Guin D., "La notion d'opérateur dans une modélisation cognitive de la compréhension des problèmes additifs", Mathématiques, Informatique et Sciences humaines, vol 113, (1991), 5-33. | Numdam | Zbl 0800.92169

[16] Piotrowski D., "Systèmes applicatifs et analyse informatique du langage naturel. Recherche sur les fondements du modèle "Grammaire Applicative et Cognitive", Thèse de doctorat de l'Ecole des Hautes Etudes en Sciences Sociales, Paris, 1990.

[ 17] Pitrat J., Métaconnaissance, futur de l'IA, Paris, Hermès, 1990.

[18] Schank R.K., Conceptual information Processing, North-Holland, 1975. | Zbl 0354.68116

[19] Schönfinkel M., "Uber die Bausteine der Mathematischen Logik ", Math. Annalen, vol 92, (1924), 355-366. | JFM 50.0023.01

[20] Vergnaud G., L'enfant, la mathématique et la réalité, Peter Lang, Berne, 1981.

[21] Vergnaud G., "Questions de représentation et de formulation dans la résolution de problèmes mathématiques", Annales de Didactique et de sciences Cognitives, IREM de Strasbourg, vol 1, (1988), 33-55.

[22] Vergnaud G., " La théorie des champs conceptuels", Recherches en Didactique des Mathématiques, La pensée Sauvage, vol 10, n° 2/3, (1990), 133-170.