Cambiar a contenido. | Saltar a navegación

Herramientas Personales
Entrar

Navegación

Usted está aquí: Inicio / Actividades / Coloquios / Coloquio de Ciudad Universitaria / Actividades del Coloquio / Lógica epistémica, topología y computación distribuida

Lógica epistémica, topología y computación distribuida

Ponente: Sergio Rajsbaum
Institución: IM-UNAM
Tipo de Evento: Investigación, Divulgación
Cuándo 22/08/2017
de 12:00 a 13:00
Dónde Auditorio "Alfonso Nápoles Gándara"
Agregar evento al calendario vCal
iCal

El modelo usual en lógica epistémica para un grupo de agentes consiste de una gráfica de Kripke cuyos vértices son los mundos posibles, y una arista se etiqueta con un conjunto de agentes que no distinguen entre los dos mundos correspondientes. En lógica epistémica dinámica se pueden representar no solo el conocimiento de un conjunto de agentes, sino también la manera en que este conocimiento cambia al realizarse comunicación entre agentes, transformando una gráfica de Kripke en otra. Estudiamos un modelo dual a las gráficas de Kripke basado en complejos simpliciales que expone invariantes topológicos que dependen de la naturaleza de la comunicación entre agentes. Investigamos así conexiones entre lógica epidémica dinámica y la teoría de computación distribuida basada en topología del libro Herlihy, Kozlov, Rajsbaum (Elsevier 2013).

archivado en: