Defensa TFG + Fin de Estudios

Para mis lectores impacientes: he aquí el link a mi TFG.

Hace algunas semanas tuve el honor de defender mi Trabajo de Fin de Grado, titulado Lógica Epistémica Dinámica: Propuestas para Enfoques Probabilísticos y Aplicaciones, obteniendo finalmente una calificación de 10 con propuesta para matrícula, ante el ilustrísimo tribunal formado por don Francisco Félix Lara Martín, don Álvaro Romero Jiménez y doña Antonia María Chávez González, del Departamento de Ciencias de la Computación e Inteligencia Artificial, a quienes estoy cordialmente agradecido por su generosa valoración no solo de los enormes esfuerzos tras este trabajo (pues el esfuerzo, al menos por sí solo y sin la guía de un juicio sensato que lo dirija, rara vez produce algo de provecho), sino también, y más crucialmente, de la conjunción de estos esfuerzos con una iniciativa firme y resuelta para producir una contribución teórica de cierta trascendencia, tanto por mi parte como por la de mi muy estimado tutor, don Andrés Cordón Franco. Sobre este último solo pueden decirse palabras elogiosas: durante la confección de mi TFG, Andrés no solo me proporcionó indicaciones valiosísimas tanto sobre cuestiones de estilo como sobre el propio contenido (además de haber jugado también un papel crucial en evitar que mis ansias de querer abarcar cada vez más, o mission creep, se tradujesen en un trabajo que nunca llega a término), sino que, en todo este proceso, me demostró también que es una de las personas más agradables y simpáticas que jamás he tenido el placer de conocer, además de un gran conversador e intelectual en todo tipo de cuestiones.

El TFG, que por desgracia para aquellos lectores que tengan una mayor predilección por la lengua anglosajona, actualmente solo está disponible en español (aunque también estoy bastante seguro de la indiferencia lingüística de las partes más técnicas del mismo), se sitúa en el campo de la Lógica Modal, y, más concretamente, de la Lógica Epistémica. Es probable que muchos de mis lectores jamás hayan escuchado hablar de ninguno de estos campos, pues suelen circunscribirse a ámbitos más propiamente académicos. No obstante, esto no significa que no tengan conexión alguna con el mundo real.

La Lógica Epistémica trata de formalizar "situaciones de conocimiento", es decir, situaciones en las que diversos agentes (en principio puede imaginarse que son humanos, aunque en realidad no tienen por qué serlo) tienen acceso asimétrico a una información sobre un determinado conjunto de hechos, y tratan de razonar sobre el conocimiento que el resto de los agentes (o ellos mismos) tienen sobre la situación en conjunto. Aunque en un principio puede parecer que esta descripción corresponde al estudio de cuestiones sumamente abstractas, rápidamente pueden establecerse conexiones con otros ámbitos mucho más familiares para aquellos de inclinaciones más prácticas: teoría de juegos, economía y, lo que inicialmente capturó mi interés y me hizo decantarme por investigar sobre este tipo de cuestiones, análisis de sistemas distribuidos y sus protocolos. En efecto, durante los años en los que se desarrollaron algunos de los protocolos que ahora constituyen la columna vertebral de nuestra infraestructura de redes, entre bastidores se encontraban académicos como Hans van Ditmarsch, Ronald Fagin o Joseph Y. Halpern tratando de demostrar formalmente que dichos protocolos satisfacían las propiedades de seguridad, estabilidad, escalabilidad... que se les atribuían algo más informalmente.

La principal aportación de mi trabajo consiste en una propuesta para unificar dos de las principales extensiones que se han construido sobre el sistema formal básico de la Lógica Epistémica: por una parte, la Lógica de Anuncios Públicos, cuya formalización es ya algo bastante estándar en el campo, y, por otra, la Lógica Epistémica Probabilística, formalizada por los ya citados Halpern y Fagin (entre otros) en su célebre artículo "Reasoning about Knowledge and Probability". En particular, mi propuesta trata de generalizar la de otro gran académico, Barteld Kooi, formalizada en su artículo "Probabilistic Dynamic Epistemic Logic".

Con la defensa de este trabajo, llega a su fin, en principio, mi etapa en la Universidad de Sevilla. Digo "en principio" porque, de hecho, es mi intención seguir colaborando ocasionalmente con el Departamento de Ciencias de la Computación (o incluso con otros departamentos) en el futuro; sin ir más lejos, para empezar, me gustaría escribir un artículo resumiendo la propuesta de mi TFG y refinando algunos de los puntos que, por limitaciones temporales, no pude llegar a tratar con la profundidad que me habría gustado. Por otra parte, mi mirada profesional se cierne ya sobre las oportunidades que el destino coloca ante mí en el horizonte, ávida de descubrir lo que me espera más allá en esta nueva fase de mi vida. Pero, antes de marchar en esta nueva dirección, ¡me tomaré al menos unas semanas de bien merecido descanso!

P.d.: A quien interese (y a quien no, también): he incluido mi Trabajo de Fin de Grado en un enlace al principio de esta publiación.