The algebra of multi-agent dynamic belief revision
<p>We refine our algebraic axiomatization in [A. Baltag, B. Coecke, M. Sadrzadeh, Epistemic actions as resources in Proceedings of Logics for Resources Programs Processes (LRPP) workshop in LiCS 2004, http://www.er.uqam.ca/nobel/philmath/LicsWSPROC.pdf, A. Baltag, B. Coecke, M. Sadrzadeh, Alge...
| Main Authors: | , |
|---|---|
| Format: | Journal article |
| Language: | English |
| Published: |
Elsevier
2006
|
| Subjects: |
| _version_ | 1826257590498099200 |
|---|---|
| author | Baltag, A Mehrnoosh Sadrzadeh |
| author_facet | Baltag, A Mehrnoosh Sadrzadeh |
| author_sort | Baltag, A |
| collection | OXFORD |
| description | <p>We refine our algebraic axiomatization in [A. Baltag, B. Coecke, M. Sadrzadeh, Epistemic actions as resources in Proceedings of Logics for Resources Programs Processes (LRPP) workshop in LiCS 2004, http://www.er.uqam.ca/nobel/philmath/LicsWSPROC.pdf, A. Baltag, B. Coecke, M. Sadrzadeh, Algebra and Sequent Calculus for Epistemic Action', Electrical Notes in Computer Science 126 (2005) 27–52] of epistemic actions and epistemic update (notions defined in [A. Baltag, L.S. Moss, Logics for epistemic programs, Synthese 139 (2004) 165–224, A. Baltag, L.S. Moss, S. Solecki, The logic of public announcements, common knowledge and private suspicions, CWI Technical Report SEN-R9922, 1999] using Kripke-style semantics), to incorporate a mechanism for dynamic belief revision in a multi-agent setting. We encode revision as a particular form of epistemic update, as a result of which we can revise with epistemic propositions as well as facts, we can also revise theories about actions as well as about states of the worlds, and we can do multi-agent belief revision. We show how our setting can be applied to a cheating version of the muddy children puzzle where by using this logic, after the cheating happens, honest children will not get contradictory beliefs..</p> |
| first_indexed | 2024-03-06T18:20:36Z |
| format | Journal article |
| id | oxford-uuid:06250220-18bb-4aa0-9a7d-b31551e511af |
| institution | University of Oxford |
| language | English |
| last_indexed | 2024-03-06T18:20:36Z |
| publishDate | 2006 |
| publisher | Elsevier |
| record_format | dspace |
| spelling | oxford-uuid:06250220-18bb-4aa0-9a7d-b31551e511af2022-03-26T09:01:04ZThe algebra of multi-agent dynamic belief revisionJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:06250220-18bb-4aa0-9a7d-b31551e511afComputer science (mathematics)ComputingEnglishOxford University Research Archive - ValetElsevier2006Baltag, AMehrnoosh Sadrzadeh<p>We refine our algebraic axiomatization in [A. Baltag, B. Coecke, M. Sadrzadeh, Epistemic actions as resources in Proceedings of Logics for Resources Programs Processes (LRPP) workshop in LiCS 2004, http://www.er.uqam.ca/nobel/philmath/LicsWSPROC.pdf, A. Baltag, B. Coecke, M. Sadrzadeh, Algebra and Sequent Calculus for Epistemic Action', Electrical Notes in Computer Science 126 (2005) 27–52] of epistemic actions and epistemic update (notions defined in [A. Baltag, L.S. Moss, Logics for epistemic programs, Synthese 139 (2004) 165–224, A. Baltag, L.S. Moss, S. Solecki, The logic of public announcements, common knowledge and private suspicions, CWI Technical Report SEN-R9922, 1999] using Kripke-style semantics), to incorporate a mechanism for dynamic belief revision in a multi-agent setting. We encode revision as a particular form of epistemic update, as a result of which we can revise with epistemic propositions as well as facts, we can also revise theories about actions as well as about states of the worlds, and we can do multi-agent belief revision. We show how our setting can be applied to a cheating version of the muddy children puzzle where by using this logic, after the cheating happens, honest children will not get contradictory beliefs..</p> |
| spellingShingle | Computer science (mathematics) Computing Baltag, A Mehrnoosh Sadrzadeh The algebra of multi-agent dynamic belief revision |
| title | The algebra of multi-agent dynamic belief revision |
| title_full | The algebra of multi-agent dynamic belief revision |
| title_fullStr | The algebra of multi-agent dynamic belief revision |
| title_full_unstemmed | The algebra of multi-agent dynamic belief revision |
| title_short | The algebra of multi-agent dynamic belief revision |
| title_sort | algebra of multi agent dynamic belief revision |
| topic | Computer science (mathematics) Computing |
| work_keys_str_mv | AT baltaga thealgebraofmultiagentdynamicbeliefrevision AT mehrnooshsadrzadeh thealgebraofmultiagentdynamicbeliefrevision AT baltaga algebraofmultiagentdynamicbeliefrevision AT mehrnooshsadrzadeh algebraofmultiagentdynamicbeliefrevision |