2021
DOI: 10.1016/j.ic.2020.104597
|View full text |Cite
|
Sign up to set email alerts
|

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

Abstract: The usual S5 n 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… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
4

Citation Types

3
121
0

Year Published

2021
2021
2023
2023

Publication Types

Select...
4
2
1

Relationship

1
6

Authors

Journals

citations
Cited by 27 publications
(124 citation statements)
references
References 36 publications
3
121
0
Order By: Relevance
“…As noticed by Vickers [29] and Abramsky [1], the notion of observability is best modeled using topology. More recently, developments in formal learning theory [12,3], distributed computing [18], and epistemic logic in multi-agent systems [2,25,17] have been based on topological semantics. In particular, topological methods have been employed in epistemic studies of modeling and reasoning about evidence and knowability [2,25].…”
Section: Introductionmentioning
confidence: 99%
“…As noticed by Vickers [29] and Abramsky [1], the notion of observability is best modeled using topology. More recently, developments in formal learning theory [12,3], distributed computing [18], and epistemic logic in multi-agent systems [2,25,17] have been based on topological semantics. In particular, topological methods have been employed in epistemic studies of modeling and reasoning about evidence and knowability [2,25].…”
Section: Introductionmentioning
confidence: 99%
“…The realization that distributed computability is of a topological nature motivated us to give a formal semantics to epistemic multi-agent formulas in terms of simplicial models [13]. We derived a new class of models, based on simplicial complexes, which is equivalent to the usual Kripke model semantics for S5 n .…”
Section: Introductionmentioning
confidence: 99%
“…We derived a new class of models, based on simplicial complexes, which is equivalent to the usual Kripke model semantics for S5 n . We were able to provide tools to reason about solvability of distributed tasks such as consensus, approximate agreement and equality negation [13,32], and explore bisimilarity of simplicial models [8] and connections with covering spaces [32]. The simplicial model semantics led to a logical obstruction to the solvability of set agreement by Yagi and Nishimura [35] using the notion of distributed knowledge [14], in a sense a higher dimensional version of knowledge.…”
Section: Introductionmentioning
confidence: 99%
See 2 more Smart Citations