Abstract
In the recent past, the most influential theories with respect to agent technology are the Belief-Desire-Intention (BDI) model. This paper not only expands past achievements but also makes novel proposals. It gives a very elegant way within a uniform and flexible logical framework for the graded BDI model, that is, for reasoning about probabilities and other uncertainty models, such as degrees of desires and intentions. We choose to blend the infinite-valued Łukasiewicz Logic and Propositional Dynamic Logic to formulize the graded BDI agent model. After presenting the language and semantics for this model, we propose axioms and rules for the graded BDI logic and prove a soundness and completeness result. On the basis of dealing with composite action, we illustrate interrelations between contexts for the model. It is hoped that the present study will make contributions to represent and reason under uncertainty as well as providing a formal support for engineer complex distributed systems.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Wooldridge, M., Jennings, N.R.: Intelligent agents: theory and practice. The Knowledge Engineering Review 10(2), 115–152 (1995)
Rao, A., Georgeff, M.: Modeling rational agents within a BDI-architecture. In: Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR 1992), pp. 473–484 (1991)
Rao, A., Georgeff, M.: BDI agents: from theory to practice. In: Proceedings of the 1st International Conference on Multi-Agents Systems, pp. 312–319 (1995)
Bratman, M.E.: Intentions, Plans, and Practical Reason. Harvard University Press, Cambridge (1987)
Casali, A., Godo, L., Sierra, C.: Graded BDI Models for Agent Architectures. In: Leite, J., Torroni, P. (eds.) CLIMA 2004. LNCS (LNAI), vol. 3487, pp. 126–143. Springer, Heidelberg (2005)
Lang, J., van der Torre, L., Weydert, E.: Hidden uncertainty in the logical representation of desires. In: International Joint Conference on Artificial Intelligence, IJCAI 2003, Acapulco, Mexico, pp. 685–690 (2003)
Parsons, S., Sierra, C., Jennings, N.R.: Agents that reason and negotiate by arguing. Journal of Logic and Computation 8(3), 261–292 (1998)
Schut, M., Wooldridge, M., Parsons, S.: Reasoning about Intentions in Uncertain Domains. In: Benferhat, S., Besnard, P. (eds.) ECSQARU 2001. LNCS (LNAI), vol. 2143, pp. 84–95. Springer, Heidelberg (2001)
Ghidini, C., Giunchiglia, F.: Local modal semantics, or contextual reasoning = locality + compatibility. Artificial Intelligence 127(2), 221–259 (2002)
Godo, L., Esteva, F., Hajek, P.: Reasoning about probabilities using fuzzy logic. Neural Network World 10, 811–824 (2000)
Hájek, P.: Mathematics of Fuzzy Logic. Kluwer (1998)
Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. The MIT Press (2000)
Meyer, J.J.: Dynamic logic for reasoning about actions and agents. In: Workshop on Logic-Based Artificial Intelligence, Washington, D.C., June 14-16 (1999)
Goldblatt, R.: Logics of Time and Computation. CSLI Lecture, Notes 7 (1992)
Chagrov, A., Zakharyaschev, M.: Modal Logic. Clarendon Press (1997)
Pereira, D., Oliveira, E., Moreira, N.: Formal Modelling of Emotions in BDI Agents. In: Sadri, F., Satoh, K. (eds.) CLIMA VIII 2007. LNCS (LNAI), vol. 5056, pp. 62–81. Springer, Heidelberg (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zhang, X., Jiang, M., Zhou, C., Hao, Y. (2012). Graded BDI Models for Agent Architectures Based on Łukasiewicz Logic and Propositional Dynamic Logic. In: Wang, F.L., Lei, J., Gong, Z., Luo, X. (eds) Web Information Systems and Mining. WISM 2012. Lecture Notes in Computer Science, vol 7529. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33469-6_56
Download citation
DOI: https://doi.org/10.1007/978-3-642-33469-6_56
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-33468-9
Online ISBN: 978-3-642-33469-6
eBook Packages: Computer ScienceComputer Science (R0)