Pitágoras

El objetivo de este proyecto es desarrollar una teoría acerca de la representación del conocimiento expresado a través de diagramas, así como de los procesos de interpretación e inferencias diagramática; en particular se estudian lo siguientes temas:

• Definición de lenguajes para representar el conocimiento geométrico y aritmético que se puede expresar diagramáticamente, así como la construcción de sus programas intérpretes.
• Teoria de la referencia diagramática.
• Teoria de la representación, interpretación e inferencia diagramática.
• Construcción de probadores de teoremas diagramáticos.
• Construcción de sistemas de solución de problemas que incluyan representaciones diagramáticas.
• Expresividad y efectividad de las representaciones diagramáticas.
• Relación entre el pensamiento concreto y abstracto en la interpretación e inferencia diagramática.
• Aprendizaje y representaciones diagramáticas.

Este proyecto tiene como antecedente el proyecto Graflog