Viernes, Abril 04, 2025

Ponente: Sergio Rajsbaum
Institución: IM-UNAM

22/08/2017
de 12:00 a 13:00
Dónde    Auditorio "Alfonso Nápoles Gándara"

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).

 

Temas:

Topología, Computación, Lógica, Teoría de gráficas, Grafos o Gráficas

Otros videos en este sitio

Sobre la relación entre entropía topológica y parejas asintótcas

Plática dada por Sebastián Barbieri (Université de Bordeaux) durante el Seminario Guillermo Torres de Geometría y Topologia el martes 25 de febrero de 2020 en el Auditorio Alfonso Nápoles Gándara del Instituto de Matemáticas de la UNAM.

Temas:

Luis Núñez Betancourt

 Midiendo singularidades con álgebra
Martes 1 de diciembre 2015

Leer más: Luis Núñez Betancourt

Viernes, Abril 04, 2025

Hay 100392 invitados y ningún miembro en línea