Résolution d'exercices de dénombrement par reconnaissance de leur classe

N. GUIN

IBP-Laforia 1994/23: Rapport de Recherche Laforia / Laforia research reports
55 pages - Novembre/November 1994 - French document.

PostScript : 60 Ko /Kb

Titre / Title: Résolution d'exercices de dénombrement par reconnaissance de leur classe

Résumé : Dans le cadre de l'utilisation des métaconnaissances, on s'intéresse à la reconnaissance de la classe d'un problème à partir de l'observation de l'énoncé. Ce travail est fait au sein du projet "Combien?" qui a choisi les exercices de dénombrement de niveau Terminale comme champ d'application pour l'étude de la réalisation d'un système d'EIAO. Une classification de ces exercices faite, chaque exercice est analysé en vue de la détermination de son type et de ses principales caractéristiques. Notre système, construit selon ces principes, reconnaît ainsi la classe de l'exercice et en déduit la solution du problème.

Abstract : Within the context of metaknowledge, we are interested in identifying the class which a given problem falls in from term observation. This work takes place within the ILE project "Combien?", the counting exercices having been chosen as a field of application for investigating the realisation of an ILE system. Once the classification of these exercices is done, each of them is analysed in order to determine its type and its main characteristics. Our system, realised along these principles, calculates the class of the exercise from which it deduces the solution to the problem.

Publications internes Laforia 1994 / Laforia research reports 1994