Virtual Group Knowledge and Group Belief in Topological Evidence Models (Extended Version)
Fuente:
arXiv
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866908510462148608 |
|---|---|
| author | Baltag, Alexandru Gattinger, Malvin Gomes, Djanira |
| author_facet | Baltag, Alexandru Gattinger, Malvin Gomes, Djanira |
| contents | We study notions of (virtual) group knowledge and group belief within multi-agent evidence models, obtained by extending the topological semantics of evidence-based belief and fallible knowledge from individuals to groups. We completely axiomatize and show the decidability of the logic of ("hard" and "soft") group evidence, and do the same for an especially interesting fragment of it: the logic of group knowledge and group belief. We also extend these languages with dynamic evidence-sharing operators, and completely axiomatize the corresponding logics, showing that they are co-expressive with their static bases. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2509_00184 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Virtual Group Knowledge and Group Belief in Topological Evidence Models (Extended Version) Baltag, Alexandru Gattinger, Malvin Gomes, Djanira Artificial Intelligence Logic in Computer Science Multiagent Systems 03B42 I.2.4 We study notions of (virtual) group knowledge and group belief within multi-agent evidence models, obtained by extending the topological semantics of evidence-based belief and fallible knowledge from individuals to groups. We completely axiomatize and show the decidability of the logic of ("hard" and "soft") group evidence, and do the same for an especially interesting fragment of it: the logic of group knowledge and group belief. We also extend these languages with dynamic evidence-sharing operators, and completely axiomatize the corresponding logics, showing that they are co-expressive with their static bases. |
| title | Virtual Group Knowledge and Group Belief in Topological Evidence Models (Extended Version) |
| topic | Artificial Intelligence Logic in Computer Science Multiagent Systems 03B42 I.2.4 |
| url | https://arxiv.org/abs/2509.00184 |