Logica epistemica y complejos simpliciales

Ponente(s): Luis Enrique Aponte Pérez, Iván Martínez Ruiz

La lógica epistémica es un estudio formal que se emplea para explicar elementos relacionados con el conocimiento y la creencia. Particularmente, es una lógica modal que agrega más operadores modales, a los que llamaremos agentes. La lógica epistémica tiene distintas aplicaciones que van desde la filosofía, inteligencia artificial, economía y lingüística. Por otro lado, un complejo simplicial es un objeto que puede describirse de forma puramente combinatoria, el cual puede caracterizar algebraicamente las propiedades decisivas de ciertos espacios topológicos llamados triangulables. En esta platica se presentará un estudio semántico de la lógica epistémica por medio de los complejos simpliciales.