skip to main content
10.5555/1402298.1402324acmconferencesArticle/Chapter ViewAbstractPublication PagesaamasConference Proceedingsconference-collections
research-article

Internal models and private multi-agent belief revision

Published: 12 May 2008 Publication History

Abstract

We generalize AGM belief revision theory to the multi-agent case. To do so, we first generalize the semantics of the single-agent case, based on the notion of interpretation, to the multi-agent case. Then we show that, thanks to the shape of our new semantics, all the results of the AGM framework transfer. Afterwards we investigate some postulates that are specific to our multi-agent setting.

References

[1]
C. E. Alchourrón, P. Gärdenfors, and D. Makinson. On the logic of theory change: Partial meet contraction and revision functions. J. Symb. Log., 50(2):510--530, 1985.
[2]
G. Aucher. A combined system for update logic and belief revision. In M. Barley and N. K. Kasabov, editors, PRIMA 2004, volume 3371 of LNCS, pages 1--17. Springer, 2004. Revised Selected Papers.
[3]
P. Balbiani and A. Herzig. Talkin'bout Kripke models. In Hylo'07, Dublin, 2007.
[4]
A. Baltag and S. Smets. Conditional doxastic models: A qualitative approach to dynamic belief revision. Electr. Notes Theor. Comput. Sci., 165:5--21, 2006.
[5]
S. Chopra and R. Parikh. An inconsistency tolerant model for belief representation and belief revision. In IJCAI, pages 192--199, 1999.
[6]
P. Gärdenfors. Knowledge in Flux (Modeling the Dynamics of Epistemic States). Bradford/MIT Press, Cambridge, Massachusetts, 1988.
[7]
H. Katsuno and A. O. Mendelzon. On the difference between updating a knowledge base and revising it. In KR, pages 387--394, 1991.
[8]
H. Katsuno and A. O. Mendelzon. Propositional knowledge base revision and minimal change. Artif. Intell., 52(3):263--294, 1992.
[9]
W. Lenzen. Recent Work in Epistemic Logic. Acta Philosophica 30. North Holland Publishing Company, 1978.
[10]
J. van Benthem. "One is a Lonely Number": logic and communication. In Logic Colloquium'02. ASL & A. K. Peters, 2006.
[11]
H. van Ditmarsch. Prolegomena to dynamic logic for belief revision. Synthese, 147:229--275, 2005.
[12]
F. Voorbraak. As Far as I know. Epistemic Logic and Uncertainty. PhD thesis, Utrecht University, 1993.

Cited By

View all

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
AAMAS '08: Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
May 2008
673 pages
ISBN:9780981738116

Sponsors

In-Cooperation

Publisher

International Foundation for Autonomous Agents and Multiagent Systems

Richland, SC

Publication History

Published: 12 May 2008

Check for updates

Author Tags

  1. belief revision
  2. epistemic logic
  3. multi-agent systems

Qualifiers

  • Research-article

Conference

AAMAS08
Sponsor:

Acceptance Rates

Overall Acceptance Rate 1,155 of 5,036 submissions, 23%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)1
  • Downloads (Last 6 weeks)0
Reflects downloads up to 24 Jan 2025

Other Metrics

Citations

Cited By

View all

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media