Knowledge and simplicial complexes
Fuente:
arXiv
Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Preprint |
| Published: |
2020
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866911092219838464 |
|---|---|
| author | van Ditmarsch, Hans Goubault, Eric Ledent, Jeremy Rajsbaum, Sergio |
| author_facet | van Ditmarsch, Hans Goubault, Eric Ledent, Jeremy Rajsbaum, Sergio |
| contents | Simplicial complexes are a versatile and convenient paradigm on which to build all the tools and techniques of the logic of knowledge, on the assumption that initial epistemic models can be described in a distributed fashion. Thus, we can define: knowledge, belief, bisimulation, the group notions of mutual, distributed and common knowledge, and also dynamics in the shape of simplicial action models. We give a survey on how to interpret all such notions on simplicial complexes, building upon the foundations laid in prior work by Goubault and others. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2002_08863 |
| institution | arXiv |
| publishDate | 2020 |
| record_format | arxiv |
| spellingShingle | Knowledge and simplicial complexes van Ditmarsch, Hans Goubault, Eric Ledent, Jeremy Rajsbaum, Sergio Distributed, Parallel, and Cluster Computing Logic in Computer Science Simplicial complexes are a versatile and convenient paradigm on which to build all the tools and techniques of the logic of knowledge, on the assumption that initial epistemic models can be described in a distributed fashion. Thus, we can define: knowledge, belief, bisimulation, the group notions of mutual, distributed and common knowledge, and also dynamics in the shape of simplicial action models. We give a survey on how to interpret all such notions on simplicial complexes, building upon the foundations laid in prior work by Goubault and others. |
| title | Knowledge and simplicial complexes |
| topic | Distributed, Parallel, and Cluster Computing Logic in Computer Science |
| url | https://arxiv.org/abs/2002.08863 |