En el presente artículo expondremos un modelo inspirado en la teoría Semi-empírica y en la teoría de situaciones. La teoría semi-empírica ha sido propuesta dentro del área de la inteligencia artificial y la teoría de situaciones pertenece al área de la didáctica. En la primera parte presentaremos estas dos teorías, para luego introducir nuestro modelo. Finalmente, ilustraremos este modelo con la presentación de un programa de aprendizaje de la prueba en geometría: Cabri- Euclide.