OCC’s Emotions: A Formalization in a BDI Logic

  • Carole Adam
  • Benoit Gaudou
  • Andreas Herzig
  • Dominique Longin
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4183)


Nowadays, more and more artificial agents integrate emotional abilities, for different purposes: expressivity, adaptability, believability... Designers mainly use Ortony et al.’s typology of emotions, that provides a formalization of twenty-two emotions based on psychological theories. But most of them restrain their agents to a few emotions among these twenty-two ones, and are more or less faithful to their definition. In this paper we propose to extend standard BDI (belief, desire, intention) logics to account for more emotions while trying to respect their definitions as exactly as possible.


Modal Logic Linear Temporal Logic Tense Logic Emotion Type Belief Operator 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Meyer, J.J.: Reasoning about emotional agents. In: Proceedings of ECAI 2004, pp. 129–133 (2004)Google Scholar
  2. 2.
    Ortony, A., Clore, G., Collins, A.: The cognitive structure of emotions. CUP (1988)Google Scholar
  3. 3.
    Herzig, A., Longin, D.: C&L intention revisited. In: Proceedings of KR 2004, pp. 527–535 (2004)Google Scholar
  4. 4.
    Herzig, A.: Modal probability, belief, and actions. Fundamenta Informaticae 57(2-4), 323–344 (2003)MATHMathSciNetGoogle Scholar
  5. 5.
    Darwin, C.R.: The expression of emotions in man and animals. Murray, London (1872)Google Scholar
  6. 6.
    Ekman, P.: An argument for basic emotions. Cognition and Emotion 6, 169–200 (1992)CrossRefGoogle Scholar
  7. 7.
    Russell, J.A.: How shall an emotion be called? In: Plutchik, R., Conte, H. (eds.) Circumplex models of personality and emotions, pp. 205–220. APA, Washington (1997)CrossRefGoogle Scholar
  8. 8.
    Becker, C., Kopp, S., Wachsmuth, I.: Simulating the Emotion Dynamics of a Multimodal Conversational Agent. In: André, E., Dybkjær, L., Minker, W., Heisterkamp, P. (eds.) ADS 2004. LNCS, vol. 3068, pp. 154–165. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  9. 9.
    Lazarus, R.S.: Emotion and Adaptation. Oxford University Press, Oxford (1991)Google Scholar
  10. 10.
    Frijda, N.H.: The emotions. Cambridge University Press, Cambridge (1986)Google Scholar
  11. 11.
    Gratch, J., Marsella, S.: A domain-independent framework for modeling emotion. Journal of Cognitive Systems Research 5(4), 269–306 (2004)CrossRefGoogle Scholar
  12. 12.
    Staller, A., Petta, P.: Introducing emotions into the computational study of social norms: a first evaluation. Journal of artificial societies and social simulation 4(1) (2001)Google Scholar
  13. 13.
    Jaques, P.A., Vicari, R.M., Pesty, S., Bonneville, J.F.: Applying affective tactics for a better learning. In: Proceedings of ECAI 2004. IOS Press, Amsterdam (2004)Google Scholar
  14. 14.
    Cohen, P.R., Levesque, H.J.: Intention is choice with commitment. Artificial Intelligence Journal 42(2–3), 213–261 (1990)MATHCrossRefMathSciNetGoogle Scholar
  15. 15.
    Chellas, B.F.: Modal Logic: an introduction. Cambridge University Press, Cambridge (1980)MATHGoogle Scholar
  16. 16.
    Burgess, J.P.: Basic tense logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, 2nd edn., vol. VII. Kluwer Academic Publishers, Dordrecht (2002)Google Scholar
  17. 17.
    Hintikka, J.: Knowledge and Belief: An Introduction to the Logic of the Two Notions. Cornell University Press, Ithaca (1962)Google Scholar
  18. 18.
    Parunak, H., Bisson, R., Brueckner, S., Matthews, R., Sauter, J.: A model of emotions for situated agents. In: Stone, P., Weiss, G. (eds.) AAMAS 2006, pp. 993–995. ACM Press, New York (2006)CrossRefGoogle Scholar
  19. 19.
    Gershenson, C.: Modelling emotions with multidimensional logic. In: NAFIPS 1999 (1999)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Carole Adam
    • 1
  • Benoit Gaudou
    • 1
  • Andreas Herzig
    • 1
  • Dominique Longin
    • 1
  1. 1.IRIT/LILaCUniversité Paul SabatierToulouse cedex 9France

Personalised recommendations