Varieties of Distributed Knowledge
Fuente:
arXiv
Salvato in:
| Autori principali: | , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866909607089143808 |
|---|---|
| author | Galimullin, Rustam Kuijer, Louwe B. |
| author_facet | Galimullin, Rustam Kuijer, Louwe B. |
| contents | Distributed knowledge is one of the better known group knowledge modalities. While its intuitive idea is relatively clear, there is ample room for interpretation of details. We investigate 12 definitions of distributed knowledge that differ from each other in the kinds of information sharing the agents can perform in order to achieve shared mutual knowledge of a proposition. We then show which kinds of distributed knowledge are equivalent, and which kinds imply each other, i.e., for any two variants $τ_1$ and $τ_2$ of distributed knowledge we show whether a proposition $ϕ$ being distributed knowledge under definition $τ_1$ implies that $ϕ$ is distributed knowledge under definition $τ_2$. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2505_06619 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Varieties of Distributed Knowledge Galimullin, Rustam Kuijer, Louwe B. Logic in Computer Science 03B42, 68T30 F.4.1; I.2.4; I.2.11 Distributed knowledge is one of the better known group knowledge modalities. While its intuitive idea is relatively clear, there is ample room for interpretation of details. We investigate 12 definitions of distributed knowledge that differ from each other in the kinds of information sharing the agents can perform in order to achieve shared mutual knowledge of a proposition. We then show which kinds of distributed knowledge are equivalent, and which kinds imply each other, i.e., for any two variants $τ_1$ and $τ_2$ of distributed knowledge we show whether a proposition $ϕ$ being distributed knowledge under definition $τ_1$ implies that $ϕ$ is distributed knowledge under definition $τ_2$. |
| title | Varieties of Distributed Knowledge |
| topic | Logic in Computer Science 03B42, 68T30 F.4.1; I.2.4; I.2.11 |
| url | https://arxiv.org/abs/2505.06619 |