Exemple d'une simulation argument‚e pour l'apprentissage de Prolog
Dessalles, J-L. & Meyers, P. (1993).
Paris : Actes des TroisiŠmes Journ‚es EIAO de Cachan, Eyrolles.
Exemple d'une simulation argumentée pour l'apprentissage de Prolog
Jean-Louis Dessalles
Pascal Meyers
RESUME :
L'étudiant qui cherche à acquérir un savoir-faire, ici la maîtrise de Prolog, a aussi besoin de connaissances conceptuelles. Pour répondre à ce type de besoin, nous avons développé un système qui permet à l'étudiant de simuler l'exécution de son programme Prolog, mais qui lui offre aussi la possibilité de soumettre ce programme au regard critique de SAVANT 3. Ce dernier système a été conçu pour soutenir une argumentation avec l'étudiant. Il est utilisé ici pour critiquer la justesse et l'efficacité du programme écrit par l'étudiant, ce qui permet à celui-ci de corriger d'éventuelles fautes conceptuelles. L'étudiant peut ainsi faire tourner son programme et observer son exécution, pour ensuite "discuter" de ce qu'il a écrit avec SAVANT 3. Nous abordons la question de savoir s'il est possible et souhaitable d'étendre ce qui n'est pour l'instant qu'une maquette à des situations réelles (par ex. programme Prolog complexe) et à des sujets quelconques (économie, architecture de réseau, etc.).
1. Le rôle de la critique dans l'apprentissage de savoir-faire
2. L'apprentissage d'un savoir-faire en Prolog avec un exercice simple
3. Le regard critique de SAVANT 3
4. Les difficultés techniques rencontrées
5. Discussion : intérêt et difficultés de la simulation argumentée
6. Conclusions