A Project coordinated by IIIA.
Principal investigator:
Collaborating organisations:
Los lenguajes basados en diagramas y el razonamiento mediante ellos son parte importante de la actividad en las disciplinas del ámbito STEM (Science, Technology, Engineering, Mathematics). El estudio de estos lenguajes se viene realizando principalmente desde la perspectiva de su lógica formal subyacente.
En las últimas décadas se ha puesto de manifiesto la importancia de la corporeización en la conceptualización y el razonamiento humano, dando lugar a teorías de la ciencia cognitiva que definen la cognición en base a esquemas de imagen, metáforas, analogías e integraciones conceptuales.
Con este proyecto vamos a explorar una nueva línea de investigación sobre el razonamiento diagramático y su formalización con esquemas de imagen y metáforas conceptuales, extendiendo y complementando la investigación previa y actual del equipo de investigación. Los objetivos son:
- Modelar y formalizar lenguajes diagramáticos mediante metáforas e integraciones conceptuales basadas en esquemas de imagen.
- Implementar el razonamiento diagramático en sistemas computacionales en base a su modelación como inferencias metafóricas.
- Explorar la aplicación del modelo, la formalización y la implementación en sistemas computacionales de soporte a las disciplinas STEM.
- Definir futuras iniciativas internacionales de investigación en base a los resultados obtenidos.
PhD Student
