Home

    You are here

Dinámica de la Información: Razonamiento, Interacción y Abducción

En este proyecto se plantea el estudio de ciertos fenómenos complejos que aparecen en el tratamiento de los procesos de transmisión de la información. La comunicación a través del lenguaje, que por excelencia es portador de información, es una de las más sutiles, y poderosa, de las habilidades humanas. Aunque tenemos interés en el análisis filosófico del lenguaje y sus conexiones con el conocimiento y la realidad, las propiedades y limitaciones del mismo para transmitir información, especialmente cuando esta es incompleta o inexacta, constituyen un sugerente punto de partida y un desafío para la investigación que se propone en este proyecto.

Nos centramos en algunos escenarios en los que no disponemos de toda la información, donde, al surgir un problema, nos preguntamos si podemos refinar la información disponible para encontrar una solución y cómo hacerlo. Para el estudio de estos escenarios nos planteamos una investigación de carácter interdisciplinar, que se vertebra sobre tres ámbitos estrecha y plenamente interrelacionados:

  1. Desarrollos de la propia lógica epistémica dinámica (elementos de teoría de la acción racional, operadores representando actitudes proposicionales alternativas –“se percibe que”– y nuevas acciones epistémicas –“se olvida que”, etc.–, modelos semánticos alternativos, expresividad, etc. ). La revisión de creencias, con técnicas de la lógica epistémica dinámica (modelos de plausibilidad), en escenarios con agentes racionalmente limitados (para los que la distinción de información implícita y explicita es relevante). Todo esto para el modelado de acciones cognitivas de agentes no omniscientes y sus repercusiones en epistemología formal.
  2. Estudio de la abducción, uno de los problemas cruciales en la epistemología contemporánea, como proceso de inferencia dinámico. Desarrollo de la línea iniciada de un abordaje con lógica epistémica dinámica, en conexión con los avances en el apartado anterior. Asimismo, combinación de elementos de los sistemas de lógica temporal y de lógica epistémica dinámica (en particular, anuncios públicos). A partir de considerar la relación de consecuencia dinámica condicional como lógica subyacente, estudio de los problemas abductivos planteados en la misma, tanto al no contar con toda la información de las condiciones iniciales, como la falla de algún anuncio en las secuencias de anuncios públicos, el caso de las secuencias finitas; estudio de los cálculos aplicables. Propuestas de aplicación de los resultados en diversos campos (IA –sistemas multiagente–, Lingüística –suposición, nuevas herramientas para el problema de las anáforas, etc.– y Filosofía –revisión de la paradoja de Fitch y las expresiones de Moore y repercusiones en filosofía de la ciencia–).
  3. Estudio de las reglas y principios estratégicos en las inferencias que tienen lugar en los escenarios explorados en los apartados anteriores, así como su sistematización y aplicación al estudio, elaboración y modelización de diálogos, lógicos y argumentativos, su relación con la lógica de cuestiones y su relevancia epistemológica. En conexión con los apartados anteriores, el problema de la abducción estructural (necesidad de cambio de reglas) y el de la abducción existencial (introducción de nuevas entidades como solución a un problema abductivo). Aplicabilidad en ingeniería del lenguaje.
Team: 

Equipo de Investigación:

  • Francisco José Salguero Lamillar
  • José Pedro Ubeda Rives
  • Fernando Velázquez Quesada

Equipo de Trabajo:

  • Cristina Barés Gómez
  • Luis Fariñas del Cerro
  • Matthieu Fontaine
  • Emilio Francisco Gomez-caminero Parejo
  • Pere Pardo Ventura
  • José Francisco Quesada Moreno
  • Enrique Sarrion Morillo
  • Diego Jimenez Palmero (alta: 27/11/2015)
Financial Institution: 
Ministerio de Economía y Competitividad. FFI2014-56219-P
Valid Period: 
01/01/2015 - 31/12/2017