Abstract
In this paper I present an improved version of the emotional BDI logic and the graded BDI logic to model Emotional Graded BDI agent’s behavior determined by the different measure of each context which is added by concrete conditions. I blend the infinite-valued Łukasiewicz Logic and Propositional Dynamic Logic to formulize the Emotional Graded BDI model which explicitly represents the uncertainty of mental attitudes and emotional states. This paper is to look for a possible axiomatic modelling of beliefs, desires, intensions, fear, anxiety and self-confidence, and to show how they influence the agent’s behavior. After presenting the language and semantics for this model, I propose axioms and rules for the emotional graded BDI logic and prove its soundness and completeness. On the basis of illustrating relationship between/among contexts for the model, an application of an Emotional Graded BDI agent is given.
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
Rao, A., Georgeff, M.: Modeling rational agents within a BDI-architecture. In: Proceedings of the 2nd International Conference on Principles of Knowledge Representa-tion 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)
Rao, A., Georgeff, M.: Decision Procedures for BDI Logics. Journal of Logic and Computation 8(3), 293–342 (1998)
Pereira, D., et al.: Towards an architecture for emotional BDI agents. In: 12th Portuguese Conference on Artificial Intelligence, pp. 40–46 (2005)
Pereira, D., Oliveria, E., Moreira, N.: Modelling Emotional BDI Agents. In: Workshop on Formal Approaches to Multi-Agent Systems, Riva Del Garda, Italy (2006)
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)
Oliveira, E., Sarmento, L.: Emotional Valence-Based Mechanisms and Agent Personality. In: Bittencourt, G., Ramalho, G.L. (eds.) SBIA 2002. LNCS (LNAI), vol. 2507, pp. 152–162. Springer, Heidelberg (2002)
Oliveira, E., Sarmento, L.: Emotional advantage for adaptability and autonomy. In: AAMAS, pp. 305–312 (2003)
Sarmento, L., Moura, D., Oliveira, E.: Fighting fire with fear. In: Proceeding of 2nd European Workshop on Multi-Agent Systems, EUMAS 2004 (2004)
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)
Zhang, X., Jiang, M., Zhou, C., Hao, Y.: 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.) WISM 2012. LNCS, vol. 7529, pp. 439–450. Springer, Heidelberg (2012)
Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. The MIT Press (2000)
Hájek, P.: Mathematics of Fuzzy Logic. Kluwer (1998)
Chagrov, A.: Zakharyaschev, M.: Modal Logic. Clarendon Press (1997)
Liau, C.J.: Belief, information acquisition, and trust in multiagent systems – a modal formulation. Artificial Intelligence 149, 31–60 (2003)
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. (2012). Modelling Emotional Agents Based on Graded BDI Architectures. In: Lei, J., Wang, F.L., Li, M., Luo, Y. (eds) Network Computing and Information Security. NCIS 2012. Communications in Computer and Information Science, vol 345. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-35211-9_77
Download citation
DOI: https://doi.org/10.1007/978-3-642-35211-9_77
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-35210-2
Online ISBN: 978-3-642-35211-9
eBook Packages: Computer ScienceComputer Science (R0)