Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2511.22381 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866909930652434432 |
|---|---|
| author | Lorini, Emiliano Rozplokhas, Dmitry |
| author_facet | Lorini, Emiliano Rozplokhas, Dmitry |
| contents | We introduce a new logic of graded distributed belief that allows us to express the fact that a group of agents distributively believe that a certain fact holds with at least strength k. We interpret our logic by means of computationally grounded semantics relying on the concept of belief base. The strength of the group's distributed belief is directly computed from the group's belief base after having merged its members' individual belief bases. We illustrate our logic with an intuitive example, formalizing the notion of epistemic disagreement. We also provide a sound and complete Hilbert-style axiomatization, decidability result obtained via filtration, and a tableaux-based decision procedure that allows us to state PSPACE-completeness for our logic. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2511_22381 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Graded Distributed Belief Lorini, Emiliano Rozplokhas, Dmitry Logic in Computer Science Artificial Intelligence We introduce a new logic of graded distributed belief that allows us to express the fact that a group of agents distributively believe that a certain fact holds with at least strength k. We interpret our logic by means of computationally grounded semantics relying on the concept of belief base. The strength of the group's distributed belief is directly computed from the group's belief base after having merged its members' individual belief bases. We illustrate our logic with an intuitive example, formalizing the notion of epistemic disagreement. We also provide a sound and complete Hilbert-style axiomatization, decidability result obtained via filtration, and a tableaux-based decision procedure that allows us to state PSPACE-completeness for our logic. |
| title | Graded Distributed Belief |
| topic | Logic in Computer Science Artificial Intelligence |
| url | https://arxiv.org/abs/2511.22381 |