Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Alchourron C. E., Gärdenfors P., Makinson D. (1985) On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic 50: 510–530
Baral C., Zhang Y. (2005) Knowledge updates: Semantics and complexity issues. Artificial Intelligence 164(1–2): 209–243
Bordini R., Hübner J. F., Wooldridge M. (2007) Programming multi-agent systems in AgentSpeak using Jason. Wiley, Chichester
Cohen P. R., Levesque H. J. (1990) Intention is choice with commitment. Artificial Intelligence 42: 213–261
Dunne P. E., Wooldridge M., Laurence M. (2005) The complexity of contract negotiation. Artificial Intelligence 164(1–2): 23–46
Gärdenfors P. (1988) Knowledge in flux. The MIT Press, Cambridge, MA
Genesereth M. R., Nilsson N. (1987) Logical foundations of artificial intelligence. Morgan Kaufmann Publishers, San Mateo, CA
Georgeff, M. P., & Lansky, A. L. (1987). Reactive reasoning and planning. In Proceedings of the sixth national conference on artificial intelligence (AAAI-87) (pp. 677–682). Seattle, WA.
Georgeff, M. P., & Rao, A. S. (1995). The semantics of intention maintenance for rational agents. In Proceedings of the fourteenth international joint conference on artificial intelligence (IJCAI-95) (pp. 704–710). Montrèal, Quèbec, Canada.
Huber, M. (1999). JAM: A BDI-theoretic mobile agent architecture. In Proceedings of the third international conference on autonomous agents (Agents 99) (pp. 236–243). Seattle, WA.
Konolige K. (1986) A deduction model of belief. Pitman Publishing: London and Morgan Kaufmann, San Mateo, CA
Pollack M. E. (1990) Plans as complex mental attitudes. In: Cohen P. R., Morgan J., Pollack M. E. (eds) Intentions in communication. The MIT Press, Cambridge, MA, pp 77–104
Pollack M. E. (1992) The uses of plans. Artificial Intelligence 57(1): 43–68
Rao, A. S. (1996). AgentSpeak(L): BDI agents speak out in a logical computable language. In W. Van de Velde & J. W. Perram (Eds.), Agents breaking away: Proceedings of the seventh European workshop on modelling autonomous agents in a multi-agent world, (LNAI Volume 1038) (pp. 42–55). Berlin, Germany: Springer-Verlag.
Rao, A. S. & Georgeff, M. P. (1991). Modeling rational agents within a BDI-architecture. In R. Fikes & E. Sandewall (Eds.), Proceedings of knowledge representation and reasoning (KR&R-91) (pp. 473–484). San Mateo, CA: Morgan Kaufmann Publishers.
Rao, A. S. & Georgeff, M. P. (1992) An abstract architecture for rational agents. In C. Rich, W. Swartout, & B. Nebel (Eds.), Proceedings of knowledge representation and reasoning (KR &R-92) (pp. 439–449).
Rao A. S., Georgeff M. P. (1998) Decision procedures for BDI logics. Journal of Logic and Computation 8(3): 293–344
Shoham Y. (2009) Logical theories of intention and the database perspective. Journal of Philosophical Logic 38(6): 633–648
van der Hoek W., Jamroga W., Wooldridge M. (2007) Towards a theory of intention revision. Synthese 155(2): 265–290
Wooldridge M. (2000) Reasoning about rational agents. The MIT Press, Cambridge, MA
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Grant, J., Kraus, S., Perlis, D. et al. Postulates for revising BDI structures. Synthese 175 (Suppl 1), 39–62 (2010). https://doi.org/10.1007/s11229-010-9735-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11229-010-9735-1