Abstract
This paper presents both a semantic and a computational model for multi-agent belief revision. We show that these two models are equivalent but serve different purposes. The semantic model displays the intuition and construction of the belief revision operation in multi-agent environments, especially in case of just two agents. The logical properties of this model provide strong justifications for it. The computational model enables us to reassess the operation from a computational perspective. A complexity analysis reveals that belief revision between two agents is computationally no more demanding than single agent belief revision.
| Original language | English |
|---|---|
| Title of host publication | AAAI-07/IAAI-07 Proceedings |
| Subtitle of host publication | 22nd AAAI Conference on Artificial Intelligence and the 19th Innovative Applications of Artificial Intelligence Conference |
| Pages | 440-445 |
| Number of pages | 6 |
| Publication status | Published - 2007 |
| Event | AAAI-07/IAAI-07 Proceedings: 22nd AAAI Conference on Artificial Intelligence and the 19th Innovative Applications of Artificial Intelligence Conference - Vancouver, BC, Canada Duration: 22 Jul 2007 → 26 Jul 2007 |
Publication series
| Name | Proceedings of the National Conference on Artificial Intelligence |
|---|---|
| Volume | 1 |
Conference
| Conference | AAAI-07/IAAI-07 Proceedings: 22nd AAAI Conference on Artificial Intelligence and the 19th Innovative Applications of Artificial Intelligence Conference |
|---|---|
| Country/Territory | Canada |
| City | Vancouver, BC |
| Period | 22/07/07 → 26/07/07 |
Fingerprint
Dive into the research topics of 'Mutual belief revision: Semantics and computation'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver