Modélisation en EIAO, les modèles d’APLUSIX

Résumé
Le sujet de cet article est la modélisation en EIAO (recherche sur les Environnements Interactifs d’Apprentissage avec Ordinateur). La première section est un développement général qui résume l’hypothèse du niveau connaissance affirmant l’existence d’un niveau de modélisation dans lequel les connaissances sont détaillées sans pour autant être exprimées dans des langages informatiques; elles sont compréhensibles et exécutables par des humains mobilisant des connaissances générales. Nous particularisons cette hypothèse à l’EIAO en une thèse sur l’intérêt de la publication de modèles de ce type. Dans la dernière section, nous appliquons cette idée en présentant, exprimé à niveau connaissance, un modèle d’un système du projet APLUSIX, un projet pluridisciplinaire d’EIAO dans le domaine de l’algèbre. Les autres sections présentent trois modèles-cadres du projet APLUSIX :

1. la recherche heuristique aménagée de façon cognitive,
2. le domaine algébrique de problèmes qui définit des structures, des représentations, des concepts… et propose trois niveaux sémantiques pour des classes de problèmes d’algèbre,
3. une conception de la factorisation des polynômes qui est une théorie stratégique de la factorisation des polynômes par transformation d’expressions.

Abstract
The subject of this article is modelling in ICAI (Intelligent Computer Aided Instruction). The first section is a general development summarising the knowledge level hypothesis according to which the knowledge can represented in a detailed way without using computer languages; these representations are understandable and executable by humans with the help of general knowledge. We particularise this hypothesis to ICAI in a thesis claiming the interest of publishing this sort of model. In the last section, this idea is applied and the model of one system of the APLUSIX project is described at knowledge level. The other sections present three models used as frameworks in the APLUSIX project:

1. The heuristic search revisited in a cognitive way,
2. Algebraic problem domain with structures, representations, concepts… and with three semantic levels for a class of algebraic problems,
3. A conception of polynomial factoring which is a strategic theory of the polynomial factoring task when using transformations of expressions.

Resumen
El tema de este artículo es la modelización en el marco de la EIAO (investigación sobre Entornos Interactivos de Aprendizaje Asistido por Ordenador). La primera sección presenta de forma general la hipótesis del nivel epistemológico (knowledge level). Dicha hipótesis aÞrma la existencia de un nivel de modelización del conocimiento en el que la descripción del mismo, si bien perfectamente detallada, es independiente de cualquier lenguaje informático. De esta forma, el conocimiento resulta comprensible y fácilmente manipulable para los seres humanos mediante el uso de conocimientos de tipo general. Nosotros consideramos esta hipótesis en el marco de la EIAO y ponemos de maniÞesto el interés que presenta la utilización de este tipo de modelos. En la última sección, esta idea es aplicada a un modelo, descrito a nivel epistemológico, de un sistema del proyecto APLUSIX, proyecto pluridisciplinar de EAIO aplicado al álgebra. Las otras secciones presentan tres temas que deÞnen el marco del proyecto APLUSIX:

1. la búsqueda heurística abordada desde una perspectiva cognitiva ;
2. el dominio del álgebra de problemas, que deÞne estructuras, representaciones, conceptos, etc., y propone tres niveles semánticos correspondientes a distintas clases de problemas de álgebra; y
3. una concepción de la factorización de polinomios que constituye una teoría estratégica de la factorización que utiliza la transformación de expresiones.