A simplicial complex model for dynamic epistemic logic to study distributed task computability - École polytechnique
Article Dans Une Revue Information and Computation Année : 2021

A simplicial complex model for dynamic epistemic logic to study distributed task computability

Jérémy Ledent
Sergio Rajsbaum
  • Fonction : Auteur

Résumé

The usual epistemic model for a multi-agent system is based on a Kripke frame, which is a graph whose edges are labeled with agents that do not distinguish between two states. We propose to uncover the higher dimensional information implicit in this structure, by considering a dual, simplicial complex model. We use dynamic epistemic logic (DEL) to study how an epistemic simplicial complex model changes after a set of agents communicate with each other. We concentrate on an action model that represents the so-called immediate snapshot communication patterns of asynchronous agents, because it is central to distributed computability (but our setting works for other communication patterns). There are topological invariants preserved from the initial epistemic complex to the one after the action model is applied, which determine the knowledge that the agents gain after communication. Finally, we describe how a distributed task specification can be modeled as a DEL action model, and show that the topological invariants determine whether the task is solvable. We thus provide a bridge between DEL and the topological theory of distributed computability, which studies task solvability in a shared memory or message passing architecture.
Fichier principal
Vignette du fichier
Goubault_etal_IAC_2020_A_simplicial_complex_model_for_dynamic_epistemic_logic.pdf (746.68 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04451564 , version 1 (17-03-2024)

Identifiants

Citer

Éric Goubault, Jérémy Ledent, Sergio Rajsbaum. A simplicial complex model for dynamic epistemic logic to study distributed task computability. Information and Computation, 2021, 278, pp.104597. ⟨10.1016/j.ic.2020.104597⟩. ⟨hal-04451564⟩
37 Consultations
17 Téléchargements

Altmetric

Partager

More