A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Résultat de la recherche
1 résultat(s) recherche sur le mot-clé 'agent rationnel'
Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche Interroger des sources externes
CABRI-EUCLIDE : un micromonde de preuves intégrant la réfutation / Vanda LUENGO (1997)
Titre : CABRI-EUCLIDE : un micromonde de preuves intégrant la réfutation : principes didactiques et informatiques. Réalisation Type de document : texte imprimé Auteurs : Vanda LUENGO, Auteur ; Nicolas BALACHEFF, Directeur de thèse Editeur : Strasbourg : Université Louis Pasteur Année de publication : 1997 Importance : 250 p. Langues : Français Mots-clés : didactique argumentation preuve réfutation agent rationnel géométrie informatique Cabri-géomètre Cabri-Euclide Résumé : Nous avons spécifié et développé un environnement informatique d'apprentissage humain sur Cabri-géomètre, qui est basé sur des formalisations du système didactique. En particulier, il est conçu comme élément d'un milieu antagoniste qui a pour objectif de permettre l'apprentissage de la preuve dans un cadre de résolution de problèmes. Nous proposons un modèle basé sur les principes d'un micromonde de preuve permettant à l'élève d'interagir avec un agent rationnel auquel il exprime les connaissances qu'il souhaite utiliser afin de résoudre un problème et de construire une preuve. La fonction de l'agent rationnel est d'assurer les rétroactions qui soient liées à la cohérence propre au raisonnement de l'élève et non à une conception a priori de ce que devrait être la résolution. Pour cela, nous nous basons sur la théorie d'agents semi-empiriques. Une des caractéristiques de notre système, en tant qu'élément du milieu antagoniste, est le fait qu'il réfute la démarche de l'utilisateur quand cela est possible pour l'environnement. L'élève exprime sa connaissance sous la forme d'énoncés. La relation élémentaire entre les énoncés est le modus ponens. Pour un problème de géométrie donné, l'élève pourra construire la figure correspondante dans Cabri-géomètre et produire les énoncés qu'il souhaite dans le micromonde de preuve. L'agent rationnel peut analyser la structure de l'ensemble des énoncés et diagnostiquer s'il a ou non la structure d'une preuve relativement à un énoncé donné comme conclusion. De plus, il peut évaluer un énoncé dans le cadre de la figure construite dans Cabri-géomètre et éventuellement le réfuter en produisant le dessin d'un contre-exemple. Il est à noter que les compétences de l'agent rationnel sont limitées à l'analyse de raisonnements directs simples (excluant donc, dans cette première approche, le raisonnement par l'absurde, par cas, ou par récurrence). Note de contenu : bibliogr. CABRI-EUCLIDE : un micromonde de preuves intégrant la réfutation : principes didactiques et informatiques. Réalisation [texte imprimé] / Vanda LUENGO, Auteur ; Nicolas BALACHEFF, Directeur de thèse . - Strasbourg : Université Louis Pasteur, 1997 . - 250 p.
Langues : Français
Mots-clés : didactique argumentation preuve réfutation agent rationnel géométrie informatique Cabri-géomètre Cabri-Euclide Résumé : Nous avons spécifié et développé un environnement informatique d'apprentissage humain sur Cabri-géomètre, qui est basé sur des formalisations du système didactique. En particulier, il est conçu comme élément d'un milieu antagoniste qui a pour objectif de permettre l'apprentissage de la preuve dans un cadre de résolution de problèmes. Nous proposons un modèle basé sur les principes d'un micromonde de preuve permettant à l'élève d'interagir avec un agent rationnel auquel il exprime les connaissances qu'il souhaite utiliser afin de résoudre un problème et de construire une preuve. La fonction de l'agent rationnel est d'assurer les rétroactions qui soient liées à la cohérence propre au raisonnement de l'élève et non à une conception a priori de ce que devrait être la résolution. Pour cela, nous nous basons sur la théorie d'agents semi-empiriques. Une des caractéristiques de notre système, en tant qu'élément du milieu antagoniste, est le fait qu'il réfute la démarche de l'utilisateur quand cela est possible pour l'environnement. L'élève exprime sa connaissance sous la forme d'énoncés. La relation élémentaire entre les énoncés est le modus ponens. Pour un problème de géométrie donné, l'élève pourra construire la figure correspondante dans Cabri-géomètre et produire les énoncés qu'il souhaite dans le micromonde de preuve. L'agent rationnel peut analyser la structure de l'ensemble des énoncés et diagnostiquer s'il a ou non la structure d'une preuve relativement à un énoncé donné comme conclusion. De plus, il peut évaluer un énoncé dans le cadre de la figure construite dans Cabri-géomètre et éventuellement le réfuter en produisant le dessin d'un contre-exemple. Il est à noter que les compétences de l'agent rationnel sont limitées à l'analyse de raisonnements directs simples (excluant donc, dans cette première approche, le raisonnement par l'absurde, par cas, ou par récurrence). Note de contenu : bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité i1279 T/IREM/LUE Livre IREM Salle Exclu du prêt