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.