Lógica y modelización en diálogos, representación del conocimiento y argumentación.

Este programa se propone vincular cinco proyectos, que se hallan actualmente en desarrollo. Se destaca como eje común la consideración del razonamiento y el empleo del lenguaje corriente y lenguajes formales respecto a diversas formas de diálogo y argumentación. Los proyectos que integran el programa propuesto aportan resultados teóricos y prácticos al problema de la representación del conocimiento desde la lógica, la informática y la filosofía. Mientras que unos se enfocan en los problemas y aplicaciones vinculados con la argumentación y el diálogo en el lenguaje natural, otros proveen herramientas conceptuales referidas a la lógica y filosofía de de los modelos formales de razonamiento y representación del conocimiento.

Palabras Clave

Cronología