Py D. (1990) Reconnaissance de plan pour l'aide à la démonstration dans un tuteur intelligent de la géométrie. Thèse. Rennes : Université de Rennes 1.
© Dominique Py

Résumé Dans un système de communication homme/machine, où le dialogue devient complexe, la prise en compte "au pied de la lettre" des énoncés ne suffit pas : il s'avère nécessaire de reconnaître l'intention ou le plan de l'usager pour que le système puisse coopérer véritablement. De façon générale, un plan est la suite d'actions qu'un agent veut réaliser pour atteindre un but donné. La reconnaissance de plan consiste à inférer, à partir de quelques actions observées, le plan global d'un agent. Dans le cadre d'un système d'aide à la résolution de problèmes, la reconnaissance de plan peut s'appliquer à la modélisation de l'apprenant, pour déterminer la preuve effectivement visée, et permettre ainsi un suivi plus souple et des conseils mieux adaptés. La méthode de reconnaissance de plan que nous décrivons est dérivée de la théorie formelle de H.Kautz. L'espace de recherche du problème considéré se représente par un ensemble d'événements, organisés en hiérarchie par des relations de composition et d'abstraction. Les événements atomiques correspondent aux pas de preuve, et les événements composés aux plans ou aux stratégies de résolution. Des opérateurs de reconnaissance formels inférent un plan global à partir de la séquence d'événements atomiques observés. Ce résultat permet de guider l'usager en fonction du but qu'il recherche, et de distinguer les erreurs de planification des erreurs de manipulation des objets du problème. Nous présentons une application de cette méthode dans le cadre d'un Tuteur Intelligent de la géométrie. Une preuve de géométrie est vue comme une séquence d'opérations, chacune correspondant à l'application d'un théorème à des objets de base (point, droite, cercle). Au préalable, un démonstrateur automatique évalue l'espace de recherche pour un problème donné, et énumère les différentes preuves possibles, afin d'élaborer la hiérarchie associée à ce problème. En cours de session, la reconnaissance s'effectue après chaque pas de preuve que fournit l'élève. Elle prend en compte les éventuels abandons ou reprises de plans, dans le cas où l'usager poursuit plusieurs buts en parallèle. Des consignes pédagogiques, précisées par l'enseignant en début de session, déterminent le type d'aides ou de contraintes que doit fournir le tuteur. Enfin, nous décrivons la mise en oeuvre et analysons les premières évaluations de ce système, avant de proposer des extensions possibles.