Postulates for revising BDI structures

Synthese 175 (S1):39-62 (2010)

The process of rationally revising beliefs in the light of new information is a topic of great importance and long-standing interest in artificial intelligence. Moreover, significant progress has been made in understanding the philosophical, logical, and computational foundations of belief revision. However, very little research has been reported with respect to the revision of other mental states, most notably propositional attitudes such as desires and intentions. In this paper, we present a first attempt to formulate a general framework for understanding the revision of mental states. We develop an abstract belief-desire-intention model of agents, and introduce a notion of rationality for this model. We then present a series of formal postulates characterizing the processes of adding beliefs, desires, and intentions, updating costs and values, and removing beliefs, desires, and intentions. We also investigate the computational complexity of several problems involving the abstract model and comment on algorithms for revision
Keywords Philosophy   Metaphysics   Philosophy of Language   Logic   Epistemology   Philosophy of Science
Categories (categorize this paper)
DOI 10.1007/s11229-010-9735-1
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 49,040
Through your library

References found in this work BETA

Knowledge in Flux.Henry E. Kyburg & Peter Gardenfors - 1993 - Noûs 27 (4):519-521.
A Deduction Model of Belief.Kurt Konolige - 1986 - Morgan Kaufmann Publishers.

View all 9 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Positive Modal Logic.J. Michael Dunn - 1995 - Studia Logica 55 (2):301 - 317.
Postulates for Time Evolution in Quantum Mechanics.B. Baumgartner - 1994 - Foundations of Physics 24 (6):855-872.
Belief Revision: A Critique. [REVIEW]Nir Friedman & Joseph Y. Halpern - 1999 - Journal of Logic, Language and Information 8 (4):401-420.
The Development of Russell's Structural Postulates.Michael P. Bradie - 1977 - Philosophy of Science 44 (3):441-463.
A Note on Transparency Postulates.Thomas Ede Zimmermann - 1985 - Journal of Semantics 4 (1):67-77.
Aristotle and Euclid's Postulates.Fabio Acerbi - 2013 - Classical Quarterly 63 (2):680-685.
Postulates of Rational Preference.Alex C. Michalos - 1967 - Philosophy of Science 34 (1):18-22.
The Consistency of the Postulates of Special Relativity.Ø Grøn & M. Nicola - 1976 - Foundations of Physics 6 (6):677-680.


Added to PP index

Total views
60 ( #151,562 of 2,311,171 )

Recent downloads (6 months)
3 ( #350,742 of 2,311,171 )

How can I increase my downloads?


My notes

Sign in to use this feature