PhD Defense: «Approximate Syllogistic Reasoning: A Contribution to Inference Patterns and Use Cases»

En esta Tesis Doctoral se propone un nuevo modelo de silogismo que permita incorporar parte de la riqueza del lenguaje natural al razonamiento. El razonamiento silogístico se caracteriza por el uso de oraciones cuantificadas y el encadenamiento entre términos. La propuesta de esta tesis es modelar las oraciones cuantificadas mediante la Teoría de los Cuantificadores Generalizados, lo que nos permite tratar de forma simultánea diferentes tipos de cuantificadores, y el proceso de inferencia en términos de un problema de optimización matemático, lo que también nos permite abordar con más tipos de argumentos que los deductivos típicos.

Para el caso del encadenamiento consideramos el caso aproximado, proponiendo el uso de la sinonimia, puesto que es la relación de similitud semántica por excelencia. A partir de un thesaurus calculamos la similitud entre dos términos, y esta constituye la base para determinar el grado de fiabilidad del argumento. Por último, analizamos nuevos casos para el silogismo en el ámbito del razonamiento Bayesiano.