THÈSES 1994 - 1998 : RÉSUMÉS
merci de signaler tout changement de coordonnées

---

Sophie Soury-Lavergne

Étayage et explication dans le préceptorat distant, le cas de TéléCabri

Thèse en Didactique des mathématiques de l'Université Joseph Fourier Grenoble 1 - 27 octobre 1998
LEIBNIZ

La recherche en didactique des mathématiques que nous présentons a pour objet les interventions de l’enseignant dans l’activité mathématique de l’élève. Le cadre théorique est celui de la théorie des situations didactiques.
Nous commençons par proposer une élaboration théorique qui permet de rendre compte de certaines interventions de l’enseignant. D’une part, nous faisons appel au concept d’étayage pour caractériser les interventions de l’enseignant dans la relation élève-milieu qui ne dénaturent pas la signification de l’activité pour l’élève. Nous montrons comment l’étayage s‘insère dans une négociation du sens mathématique de l’interaction élève-milieu, négociation pouvant déboucher sur l’effet Topaze. D’autre part, nous caractérisons l’action de l’enseignant sur la compréhension de l’élève, par un processus explicatif co-construit dans l’interaction entre l’enseignant et l’élève. Nous proposons alors d’analyser ces deux processus dans une situation d’interaction enseignant-élève originale : le préceptorat, c’est-à-dire l’interaction didactique qui a lieu entre un enseignant et un unique élève.
Nous avons mis en place un dispositif expérimental afin d’observer des interactions de préceptorat et de faire fonctionner nos outils d’analyse. Nos expérimentations ont été réalisées dans le cadre du projet TéléCabri qui a pour objet l’étude des usages et la spécification d’un environnement informatique d’enseignement à distance intégrant téléprésence et partage de l’espace d’apprentissage, notamment le micromonde Cabri-géomètre. L’analyse didactique des interactions de préceptorat passe par l’étude du rôle joué par ler micromonde Cabri-géomètre, composante du milieu pour l’apprentissage.
Les résultats obtenus concernent : la pratique habituelle des enseignants qui transparaît dans les interactions de préceptorat, en particulier leur gestion de l’espace de travail Cabri-géomètre, l’étayage et l’effet Topaze ainsi que la caractérisation didactique du processus explicatif.

mél - web

Retour liste

---

Irina Akoulchina

SAGE : un agent intelligent d'interface d'un hypermédia à base de connaissances taxinomiques fonctionnant dans l'environnement du Web

Thèse de l'Université Pierre et Marie Curie - Paris VI - 20 octobre 1998

Les agents intelligents doués de capacité d'apprentissage, en s'appuyant sur les techniques de l'intelligence artificielle et celles de la recherche d'information, construisent un modèle de l'utilisateur afin d'adapter líinterface à celui-ci. L'objectif des travaux présentés dans cette thèse est de développer un tel agent intelligent pour le système SATELIT. Cet hypermédia, enrichi des possibilités de recherche d'information fonctionnant sur le Web, est basé sur les connaissances taxinomiques, c'est-à-dire qu'il mémorise et gère les objets regroupés en classes organisées hiérarchiquement sous forme de taxinomies. Grâce à l'agent intelligent SAGE (SATELIT AGENT), l'interface de SATELIT devient adaptative, ce qui permet à l'utilisateur de s'orienter dans l'espace de navigation du Web. SAGE analyse les actions de navigation des utilisateurs et essaie d'inférer le but final de leur recherche. Nous proposons une classification des agents fonctionnant sur le Web selon leur sphère d'activité et nous distinguons l'agent SAGE comme un nouveau type d'agents. Ainsi, pour suggérer à l'utilisateur de visiter certaines pages Web ou d'explorer certains outils spécifiques de SATELIT, SAGE intègre les méthodes des agents dont la sphère d'activité n'est pas limitée et les techniques des hypermédias adaptatifs utilisant des connaissances acquises préalablement sur le domaine d'application. Nous évaluons l'efficacité de SAGE et la comparons avec celles d'autres agents intelligents.

mél

Retour liste

---

Conchi-Santiago

Système vocal interactif pour l'apprentissage des langues : la synthèse de la parole au service de la dictée

Thèse de l'Université de Toulouse - 24 septembre 1998
IRIT

Après une présentation générale de l'apprentissage des langues, le mémoire fait un tour d'horizon de différents logiciels d'enseignement des langues intégrant l'exercice de la dictée.
La dictée peut être considérée comme un exercice de transcription graphique d'un segment oral de la langue. Dans cet exercice, les erreurs peuvent avoir des origines très variées dont le diagnostic peut nécessiter des informations morpho-phonologiques plus ou moins complexes. Par exemple, les erreurs phonographiques résultent de la mauvaise transcription d'au moins un phonème. Pour considérer ce type d'erreurs, nous devons connaître les différentes associations possibles de lettres et de sons d'une langue. Nous appelons ces associations gpo (groupes de lettres posant des problèmes orthographiques). Une règle orthographique décrivant toutes les réécritures erronées possibles est associée à chaque gpo.
L'un des buts de cette thèse est la modélisation du diagnostic de l'erreur dans le cadre de l'exercice de la dictée. Le mémoire présente les travaux que nous avons effectués dans cette direction et qui ont abouti à une modélisation prenant en compte des connaissances morpho-orthographiques, phonologiques et syntaxiques de la langue en cours d'apprentissage. L'autre but de cette thèse est l'intégration d'un tel modèle dans un système interactif utilisant les technologies vocales. En effet, l'interactivité basée sur les technologies vocales connaît actuellement une grande expansion et correspond notamment aux besoins de l'enseignement des langues.
Sur ces bases, nous avons développé le système DICTOR pour l'aide à l'apprentissage des langues naturelles à travers l'exercice de la dictée. Il peut être utilisé en mode tutoriel ou en environnement d'apprentissage. Il dicte le texte à l'apprenant en utilisant la synthèse de la parole ; puis, il corrige les erreurs éventuelles en différenciant leur type et en fournissant des explications adaptées aux capacités cognitives et aux niveaux de connaissance de l'apprenant.
Deux versions de DICTOR, utilisant des types de synthèse différents, ont été évaluées en milieu scolaire pour l'apprentissage du français en tant que langue maternelle. Dans la dernière partie du mémoire, nous analysons les résultats de cette évaluation où nous avons pu constater l'intérêt porté à un tel système par les utilisateurs potentiels que sont les enfants et les enseignants.

Retour liste

---

Dana Munteanu

Une approche hypertexte pour la formation en automatique : activités guidées et explication

Thèse en Automatique de l'Institut National Polytechnique de Grenoble - 26 juin 1998
Laboratoire d'Automatique de Grenoble

L'objectif principal de cette thèse est d'apporter une solution réaliste au problème de l'aide dans les environnements interactifs d'apprentissage avec ordinateur (EIAO). Cette solution, fondée sur une approche hypertexte exploitant un modèle de connaissances du domaine, a été appliquée à l'environnement de formation en Automatique, AutoDidact.
La première partie de ce mémoire présente la modélisation des connaissances d'automatique manipulées dans l'analyse et la synthèse de boucles de régulation échantillonnées.
Nous proposons ensuite une méthodologie de conception des ressources pédagogiques de type hypertexte. La conception de HADOC, l'hypertexte documentaire intégré au système AutoDidact est déclinée en structure, contenu et niveau de segmentation de l'information. Elle a été réalisée en prenant en compte, dès le Debut, sa fonctionnalité de base d'explications potentielles dans un contexte de résolution de problèmes.
Notre troisième contribution concerne la conception d'activités standardisées, axées sur la simulation, dont l'objectif est de conduire l'apprenant à se formuler une explication propre sur le sujet étudié. Nous proposons une méthode de construction d'aides contextuelles à partir d'une base d'explications théoriques (HADOC). Nous décrivons également nos résultats concernant les simulations pédagogiques pour la discipline.
Enfin, nous présentons des solutions d'implémentation (versions NextStep et WEB) minimisant l'effort de programmation, ainsi que les résultats des expérimentations organisés auprès des étudiants et des enseignants qui ont permis de valider la plupart de nos choix de conception.

Retour liste

---

Richard Hotte

Modélisation d'un système d'aide multiexpert pour l'apprentissage coopératif à distance

Thèse en Didactique des disciplines de l'Université Denis Diderot-Paris 7 - 23 juin 1998
LICEF

Notre thèse traite de la conception, du développement et de l'implantation d'environnements interactifs d'apprentissage distribué (EIAD). Ces environnements visent à rendre possible la mise en communication continue d'étudiants localisés en des endroits différents et disponibles à divers moments, ainsi que la formation de réseaux d'échanges entre des groupes d'étudiants, stimulant ainsi la communication intellectuelle de l'apprenant avec ses pairs. De manière plus précise, la thèse tente de démontrer qu'il est possible de concevoir un système d'aide, à la fois convivial et efficace, destiné aux facilitateurs de tout genre qui interviennent dans un processus d'apprentissage coopératif à distance. Un tel système devrait permettre, à tout instant, à la personne en situation de leadership et placée devant un problème relié au processus de téléapprentissage, de bénéficier d'un soutien par un accès direct à ce système d'aide conçu à son intention et en fonction de ses besoins.
Les travaux qui ont été menés portent sur la conception et la modélisation d'un environnement de support à l'apprentissage coopératif, dans un contexte d'encadrement pédagogique assisté par des réseaux d'ordinateurs, en formation à distance. Ils proposent un modèle de support à l'apprentissage coopératif basé sur une coopération entre des agents intelligents. Ce modèle repose sur une explicitation du rôle de leader, qui peut être assigné à un agent facilitateur, et du contexte dans lequel s'exerce ce leadership. De prime abord, le leader se présente comme une ressource d'aide interne ou externe à un groupe, jouant un rôle facilitant dans l'intégration des apprenants à un groupe d'apprentissage. En agissant ainsi, le leader tente d'assurer la contribution de chacun dans l'atteinte des objectifs d'apprentissage que le groupe s'est fixés, par des activités de discussion et de production de groupe. L'originalité du modèle réside dans le fait qu'il est orienté non pas vers l'aide apportée à l'étudiant mais plutôt vers celle qui est mise à la disposition de toutes les ressources facilitant l'apprentissage, en groupe et à distance, dans un contexte d'encadrement pédagogique assisté par ordinateur.

mél - web

Retour liste

---

Claude Moulin

Adaptation dynamique d'un système d'aide a l'apprentissage de la géométrie : modélisation par un système multiagent

Thèse de l'Université de Rouen - 15 juin 1998

Dans un environnement d'aide à l'apprentissage, l'interprétation des actions de l'apprenant est primordiale pour que le système puisse s'adapter à la démarche de celui-ci. Cette interprétation, guidée par une intention pédagogique, doit être globale et doit prendre en compte les différents types d'actions que permet l'interface du système. Elle représente plutôt une conviction en un jugement qu'une certitude absolue. En fonction de cette analyse, le système établit des modifications plus ou moins importantes de son interface de façon à suggérer à l'élève des idées lui permettant de progresser. Notre recherche s'applique en particulier à un système d'aide à l'apprentissage de la résolution de problème de géométrie.
Pour réaliser ceci, nous proposons un système possédant simultanément plusieurs entités qui envisagent chacune une analyse de la situation selon un point de vue particulier. Chaque entité défend avec plus ou moins de conviction le point de vue qu'elle représente. De cette confrontation, émerge la perception par le système de la démarche de l'apprenant.
Nous proposons tout d'abord une description des connaissances nécessaires au système. Elles concernent le domaine d'étude (ici, la géométrie utilisée en collège) mais aussi l'interaction entre le système et l'utilisateur et les catégories de démarches que le système envisage pour l'élève. Nous décrivons ensuite la modélisation par système multiagent que nous avons établie. Les organisations du système multiagent ont pour tâches principales de représenter les connaissances nécessaires au système, de maîtriser la modification de l'interface et de représenter les entités d'analyse de la situation. Pour ce dernier point, nous avons développé un modèle d'agent particulier basé sur la caractérisation du processus de décision rationnelle dans la communication.

Retour liste

---

Georges Pecego

SYGEP, un Système de Génération d'Énoncés de Problèmes dans des domaines variés

Thèse de l'Université Pierre et Marie Curie - Paris VI - 12 juin 1998
LIP6

Le travail de recherche accompli dans le cadre de la thèse a pour but d'écrire SYGEP, un système à base de connaissances, qui créé des énoncés de problèmes indépendamment du domaine d'application. Partant du constat que dans les Environnements Interactifs Assistés par Ordinateur (EIAO), les problèmes proposés aux apprenants proviennent la plupart du temps de bases d'exercices préenregistrés, il semblait intéressant de doter ces systèmes d'un outil de création automatique d'exercices adaptés au niveau de chaque apprenant. Cet outil peut également fournir une aide à un enseignant souhaitant élaborer de nombreux énoncés pour satisfaire un but pédagogique précis.
Les domaines d'application actuels sont l'électricité, la mécanique, la thermodynamique, la chimie.
L'hypothèse cognitive, sur laquelle s'appuie SYGEP, consiste à bâtir un problème à rebours : à partir d'une grandeur particulière que devra déterminer l'apprenant, le système choisit une règle (formule, propriété, lois) de sa base de connaissance permettant de rendre calculable cette grandeur but à partir de nouvelles grandeurs qui seront des données du problème. Le processus peut ainsi réitérer sur les données introduites complexifiant à chaque fois un peu plus le problème résultant. Il est important de noter que SYGEP est toujours capable de fournir la solution aux problèmes qu'il pose. De plus, il est possible d'introduire des contraintes permettant de guider la création des problèmes. Ainsi il est très facile d'obtenir, par exemple, toute une batterie de problèmes d'électricité nécessitant la connaissance d'une formule particulière, comme P = UI.
SYGEP est également doté de la possibilité d'évaluer lui-même les énoncés qu'il crée à partir de critères objectifs et généraux, dont il extrait une mesure de difficulté et d'intérêt du problème. L'idée étant que pour un apprenant dont on connaît le niveau et ses principales difficultés, il soit possible de lui proposer un exercice, le plus adapté possible.
Nous avons ensuite abordé, grâce au système, d'autres types de problèmes. Ainsi nous avons exploité le fait que, bien souvent, les apprenants pensent que " tout est linéaire ". SYGEP est aujourd'hui capable de créer des exercices spécifiques en donnant des contre-exemples de cette fausse idée.
De même, nous avons tenu compte de ce qui fait, selon M. Chi, toute la différence entre le novice et l'expert : la confusion entre loi fondamentale et traits de surface. C'est pour cela que nous avons également doté SYGEP de la possibilité de créer des problèmes couplés, dont la seule résolution doit permettre à l'apprenant de bien distinguer les aspects de fond et de forme que peut recouvrir un problème.

mél

Retour liste

---

Christophe Marquesuzaa

OMAGE : Outils et Méthode pour la spécification des connaissances au sein d'un Atelier de Génie Educatif

Thèse en Informatique de l'Université de Pau et des Pays de l'Adour - 12 février 1998
LIUPPA

Les nouvelles technologies de l’information sont entrées au cœur de notre société et provoquent de profonds changements dans notre vie quotidienne, notamment dans le monde du travail. Or le métier d’enseignant n’a pas vraiment évolué, même si les méthodes éducatives changent, car toute tentative d’introduction de l’informatique se heurte à la méfiance des enseignants qui ont peur de perdre leur liberté de choix éducatifs. De plus, les avancées technologiques n’ont d’intérêt que si elles sont intégrées dans un processus global de conception d’applications éducatives. Nos recherches ont donc pour objectif principal de faciliter la tâche de l’enseignant dans la préparation de ses séquences pédagogiques. Nous définissons ainsi le support méthodologique d’un environnement informatique d’aide à la spécification des connaissances éducatives. Nous organisons alors nos travaux autour de trois axes. Tout d’abord, nous proposons la mise en place d’enseignements axés sur la notion de situations-problèmes au sens IUFM car elle met les apprenants en situation de projet tout en répondant aux objectifs pédagogiques fixés. Nous exposons ensuite la nécessité pour les enseignants de se reposer sur un processus de spécification formelle que nous définissons et pour lequel nous proposons un cycle de vie basé sur le prototypage rapide. Nous proposons aussi une ontologie de l’enseignement s’appuyant sur une architecture orientée-objet. Nous montrons enfin que l’utilisation de méta-outils CASE permet de développer un environnement ayant une assistance adaptée et suffisamment flexible pour permettre différentes façons de spécifier et différents points de vue et-ou formalismes de représentation sur une spécification. Le prototype développé couple le méta-outil CASE HARDY, qui fournit une interface diagrammatique supportant les étapes du processus de développement, et le générateur de système expert CLIPS qui assure la cohésion globale en terme de guidage et de flexibilité.

mél - web

Retour liste

---

Iliana de la Teja Angeles

Efficacité de l'approche LVR dans la conception d'une ressource d'aide à l'utilisation d'un environnement informatique de téléformation

Thèse en éducation (technologie éducationnelle) de l'Université de Montréal - 26 mai 1997

La présente recherche porte sur l'efficacité de l'approche d'évaluation formative connue sous le nom de Learner Verfication and Revision ou LVR dans l'amélioration des ressources d'aide à l'utilisation d'un environnement informatisé de téléformation. L'importance de cette recherche réside dans le fait que le processus pour améliorer les ressources d'aide ainsi que pour améliorer l'interface est similaire au processus proposé par la LVR (révision itérative du produit pédagogique à partir des difficultés identifiées par les apprenants lors de la mise à l'essai). Plusieurs études empiriques ont montré que la LVR est une approche d'évaluation formative efficace permettant d'améliorer un produit pédagogique avant sa diffusion. Cependant, l'efficacité de cette approche n'a pas été vérifiée dans ce contexte. Pour ce faire, cette recherche a mis à l'essai un prototype d'environnement informatisé de téléformation auprès de 32 sujets. Le but principal était de tester d'une part si la LVR permet d'améliorer les ressources d'aide et, d'autre part, de tester si les données recueillies peuvent être investies dans l'amélioration de l'interface.

Une première mise à l'essai du prototype a permis de recueillir les données visant à développer la ressource d'aide (RDA) ainsi qu'à améliorer l'interface. Une deuxième révision du prototype avec la RDA intégrée a servi pour tester l'amélioration de l'interface. Enfin, la mise à l'essai du prototype avec l'interface révisée a été employée pour vérifier l'efficacité de la LVR pour améliorer l'interface. Les difficultés d'utilisation ont été recensées au moyen de la technique du Magicien d'Oz et par les demandes d'aide posées par les participants aux expérimentateurs. Un chronomètre intégré à l'ordinateur a servi à mesurer le temps d'accomplissement des tâches.

Les résultats obtenus au plan statistique montrent qu'un environnement informatisé de téléformation (EIT) avec une ressource d'aide développée au moyen de l'approche LVR ne réduit pas le temps d'accomplissement des tâches, comparativement à un EIT qui n'a pas été révisé. De plus, le nombre de problèmes d'utilisation d'un environnement informatisé de téléformation diminue avec une ressource d'aide sur demande développée et révisée selon l'approche LVR. Enfin, l'approche LVR s'est avérée efficace pour améliorer l'interface d'un environnement informatisé de téléformation en terme de temps d'accomplissement des tâches ainsi qu'au niveau du nombre de problèmes rencontrés par l'apprenant.

mél

Retour liste

---

Nathalie Guin

Reformuler et classer un problème pour le résoudre. Le système SYRCLAD et son application à quatre domaines

Thèse en informatique de l'Université Pierre et Marie Curie - Paris VI - 12 décembre 1997
LIP6

Le thème principal de cette thèse est la résolution de problèmes. Nous nous intéressons à des problèmes scolaires dans des domaines où les énoncés des problèmes correspondent à des situations concrètes, alors que le cours est donné sous forme de connaissances théoriques. Les élèves sont en difficulté face à ce type de problèmes parce qu'ils n'arrivent pas à modéliser ces situations afin qu'elles entrent dans le cadre du cours théorique. Nous souhaitons modéliser la démarche de résolution telle qu'on veut qu'elle fonctionne chez un élève après l'apprentissage, en distinguant les connaissances destinées à modéliser le problème des connaissances du domaine destinées à résoudre un problème modélisé, de manière à concevoir dans chaque domaine un résolveur de problème destiné à être utilisé par un EIAO.
Pour construire un nouveau modèle du problème posé, auquel on pourra appliquer les connaissances de résolution du cours, une méthode consiste à utiliser une classification de problèmes pour guider cette reformulation du problème. Cette thèse propose, d'une part, un cadre général dans lequel on peut expliciter de manière déclarative une classification de problèmes et les connaissances de reformulation et de résolution qui y sont liées et, d'autre part, un mécanisme d'exploitation de ces connaissances. Nous avons réalisé le système SYRCLAD qui met en oeuvre ces divers aspects et nous l'avons testé sur quatre domaines d'application : celui des exercices de dénombrement au niveau terminale scientifique, celui des problèmes additifs proposés à l'école primaire, pour choisir un plan de jeu au tarot, et celui des exercices de thermodynamique niveau classes préparatoires. SYRCLAD construit un nouveau modèle du problème posé grâce à des connaissances de reformulation et en utilisant un graphe de classification des problèmes du domaine. Ce nouveau modèle est plus opérationnel et est instance d'une classe de problèmes du graphe. Le système utilise les connaissances de résolution associées à cette classe pour obtenir la solution au problème posé.

mél - web
 

Retour liste

---

Josianne Basque

Effets d'un apprentissage à la programmation logo en dyade et en solo sur le développement de certaines habiletés métacognitives chez des enfants de 10-12 ans

Thèse en psychologie de l'Université du Québec à Montréal - 5 février 1997

Cette recherche a pour but d'étudier l'effet des interactions entre pairs lors d'un entraînement de vingt heures à la programmation Logo sur le développement de trois habiletés d'autorégulation cognitive, soit les habiletés d'identification de la nature d'un problème, les habiletés de supervision cognitive et les habiletés de planification, chez des enfants de 10-12 ans et d'explorer la nature métacognitive du discours des enfants lorsqu'ils réalisent en dyade une tâche de reproduction d'un dessin à l'aide du langage de programmation Logo.
Dans un premier volet, 82 sujets (42 filles et 40 garçons) ont été répartis en trois groupes. Les seize sujets du premier groupe ont effectué les exercices de l'entraînement individuellement à l'ordinateur. Les quarante sujets du deuxième groupe ont réalisé les mêmes exercices en dyade. Les vingt-six sujets du groupe contrôle n'ont bénéficié d'aucun entraînement au Logo. Un prétest et un post-test évaluant les habiletés d'autorégulation cognitive des enfants ont été administrés à tous les sujets. De plus, à la fin de l'expérimentation, les sujets des deux groupes expérimentaux (solo, dyade) ont complété un test de connaissances en Logo.
Dans un deuxième volet plus exploratoire, les enfants du groupe des dyades ont effectué la tâche Logo avec leur partenaire habituel, et ce, à deux moments, soit après la quatrième leçon et à la fin de l'expérimentation. Un enregistrement vidéo de chaque session a été effectué. Les verbalisations des sujets ont été codées à l'aide d'une grille de codification distinguant différentes catégories de verbalisations de nature métacognitive (planification, prédiction, vérification, évaluation, correction), les verbalisations reliées aux stratégies d'exécution et aux stratégies purement techniques ainsi que les verbalisations d'ordre social (acquiescement, opposition, réaffirmation). Ces échanges verbaux ont été analysés selon le moment de réalisation de la tâche. De plus, des analyses corrélationnelles fournissent des données sur leur relation avec la performance à la tâche, les mesures métacognitives du prétest et du post-test ainsi que le score au test Logo. En outre, une analyse de regroupement hiérarchique a permis de regrouper les sujets en deux groupes selon la nature conflictuelle ou acquiesçante dominant leurs échanges. Des comparaisons entre ces groupes ont pu ensuite être conduites quant à la nature métacognitive de leurs interactions et quant à leur performance à la tâche Logo, au post-test évaluant leurs habiletés métacognitives et au test Logo.

mél

Retour liste

---

Cyrille Desmoulins

Étude et réalisation d'un système tuteur pour la construction de figures géométriques

Thèse en informatique de l'Université Joseph Fourier - Grenoble I - 2 février 1994
Laboratoire de Génie Informatique

Ce travail se situe dans le cadre des systèmes informatiques pour l'enseignement intégrant des capacités de raisonnement. Les exigences de ces EIAO (Environnement Interactif d'Apprentissage avec Ordinateur) sont à la fois d'ordre didactique et d'ordre informatique : exigence d'un contrat didactique à la sémantique claire et précise; exigence d'une liberté maximale donnée à l'enseignant dans la formulation de ce contrat; exigence de capacités de déduction complètes; exigence de performances garantissant un niveau d'interactivité suffisant.
Concrétement, nous avons conçu et réalisé le système TALC (Tuteur d'Aide Logique à la Construction) pour l'enseignement de la géométrie, dont l'objectif est de diagnostiquer la correction de la construction d'un apprenant vis-à-vis de la spécification d'une figure donnée par un enseignant. La définition du contrat didactique constitue le point central de notre travail. Notre point de vue est que son expression à l'aide de la logique du premier ordre est nécessaire à la fois pour obtenir une définition claire et pour fournir de bonnes explications à l'apprenant. Nous donnons ainsi une sémantique précise aux langages manipulés par le système : le langage logique LDL - à partir duquel est déterminé le diagnostic - et les langages d'interface. Nous présentons aussi les principes de la formulation de la théorie logique représentant les connaissances présupposées de l'élève. Nous établissons, par étapes de dérivation successives, l'expression logique de la correction d'une construction. Cette attitude est fructueuse. Elle nous a amenés à proposer le concept d'extension logique d'une formule par rapport à une autre, nécessaire pour prendre en compte des objets non décrits dans la spécification.
Les perspectives ouvertes sont les suivantes : amélioration de la formulation du contrat didactique (par une meilleure définition de la négation), extension des langages d'interface, constitution de séquences didactiques, construction d'un modèle de l'apprenant à l'aide de techniques d'apprentissage et définition d'un langage d'expression des dialogues à tenir.

mél - web
 

Retour liste