Lógica epistémica aplicada al análisis de algoritmos distribuidos.

Ponente(s): Jesús Jorge Armenta Segura

Un algoritmo distribuido es un procedimiento finito ejecutado por varias computadoras a la vez (no necesariamente de forma síncrona). A diferencia de los algoritmos secuenciales ejecutados por una sola computadora, la versión distribuida se caracteriza por depender totalmente de las comunicaciones entre los involucrados para su correcta ejecución. Sin embargo, es posible caracterizar dichas comunicaciones como todo lo aprendido en cada mensaje recibido por cada una de las computadoras, lo que permite poner el análisis de algoritmos distribuidos en términos de lógica epistémica (y dinámica). En el presente cartel se presentan el lenguaje básico modal y los marcos de Kripke, los cuales hallan sus orígenes más remotos en "A semantic analysis of modal logic" de Saul Kripke (1963), para exponer su aplicación computacional en el análisis del bien conocido problema del consenso binario. Como referencia principal usamos el artículo "A simplicial complex model for dynamic epistemic logic to study distributed task computability" de S. Rajsbaum, E. Goubault y J. Ledent (2018) por ser mucho más actual.