Modelling dynamic aspects of intentions

  • Michael da Costa Móra
  • Gabriel Pereira Lopes
  • Helder Coelho
  • Rosa M. Viccari
Multi-Agent Systems and Distributed Artificial Intelligence
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1323)


In this paper, we define a formal model of intentions that accounts for both static and dynamic aspects of intentions. By static aspects, we mean its relation with desires and beliefs and the properties that this relation has (namely, consistency and avoidance of side-effects). By dynamic aspects, we mean establishing criteria, other than those derived from commitment, to drop intentions (namely, based on the cause-effect relation between desires and intentions) and mechanisms that triggers the reasoning process without imposing a significant additional burden on the agent. Our approach is to define those conditions that make the agent start reasoning about intentions as constraints over its beliefs.


intentions mental states modeling agent architectures distributed artificial intelligence logic programming 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [AP96]
    J.J. Alferes and L.M. Pereira. Reasoning with Logic Programming. Springer-Verlag, Berlin, DE., 1996. Lecture Notes in Artificial Intelligence Series LNAI 1111.Google Scholar
  2. [BC96]
    L.M. Botelho and H. Coelho. Agents that rationalize their decisions. In Proceedings of the II International Conference on Multi-Agent Systems, Kyoto, Japan, 1996, AAAI Org.Google Scholar
  3. [Bea94]
    L. Beaudoin. Goal Processing in Autonomous Agents. PhD thesis, Birmingham University, Birmingham, UK, august 1994.Google Scholar
  4. [BH97]
    J. Bell and Z. Huang. Dynamic goal hierarchies. In Proceedings of the Second Workshop on Practical Reasoning and Rationality, London, England, 1997. AISB Workshop Series.Google Scholar
  5. [Bra87]
    M.E. Bratman. Intentions, plans and practical reasoning. Harvard University Press, Cambridge, MA, 1987.Google Scholar
  6. [Bra90]
    M.E. Bratman. What is intention? In P.R. Cohen, J.L. Morgan, and M. Pollack, editors, Intentions in Communication, chapter 1. The MIT Press, Cambridge, MA, 1990.Google Scholar
  7. [Bra92]
    M. Bratman. Planning and the stability of intentions. Minds and Machines, 2:1–16, 1992.Google Scholar
  8. [CL90]
    P.R. Cohen and H.J. Levesque. Intention is choice with commitment. Artificial Intelligence, 42:213–261, 1990.Google Scholar
  9. [DNP94]
    C. Damásio, W. Nejdl, and L.M. Pereira. Revise: An extended logic programming system for revising knowledge bases. In Knowledge Representation and Reasoning. Morgan Kaufmann inc., 1994.Google Scholar
  10. [GC95]
    G. Gaspar and H. Coelho. Where do intentions come from?:a framework for goals and intentions adoption, derivation and evolution. In C. Pinto-Ferreira and N.J. Mamede, editors, Proceedings of the Seventh Portuguese Conference on Artificial Intelligence (EPIA'98), Berlin, Germany, 1995. APIA, Springer-Verlag. Lecture Notes on Artificial Intelligence (LNAI 990).Google Scholar
  11. [JLS93]
    P.N. Johnson-Laird and E. Shafir. The interaction between reasoning and decision making: an introduction. Cognition, 49:1–9, 1993.Google Scholar
  12. [KP93]
    K. Konolige and M. Pollack. A representationalist theory of intentions. In Proceedings of the XII International Joint Conference on Artificial Intelligence (IJCAI'98), Chambéry, France, 1993. IJCAI inc.Google Scholar
  13. [Mes92]
    L. Messiren. Localized abductioe planning with the event calculus. PhD thesis, Katholieke Universiteit Leuven, Leuven (Heverlee), 1992.Google Scholar
  14. [QL97]
    J. Quaresma and J.G. Lopes. A logic programming framework for the abduction of events in a dialogue system. In Proceedings of the Workshop on Automated Reasoning, London, England, 1997. AISB Workshop Series.Google Scholar
  15. [Qua97]
    P. Quaresma. Inferência de Atitudes em Dialogos. PhD thesis, Universidade Nova de Lisboa, Lisbon, Portugal, june 1997. In Portuguese.Google Scholar
  16. [Rao96]
    A. Rao. Agentspeak(1): Bdi agents speak out in a logical computable language. In Proceedings of the European Workshop on Modelling Autonomous Agents and Multi-Agents Worlds 1996 (MAAMAW'96), Berlin, Germany, 1996. Springer-Verlag.Google Scholar
  17. [RG91]
    A.S. Rao and M.P. Georgeff. Modelling rational agents within a bdiarchitecture. In R. Fikes and E. Sandewall, editors, Proceedings of the Knowledge Representation and Reasoning'91 (KR&R'91), San Mateo, CA., 1991. Morgan Kauffman Publishers.Google Scholar
  18. [Sea84]
    J. Searle. What is an intentional state? In H. Dreyfuss and H. Hall, editors, Husserl, Intentionality and Cognitive Science, volume 42, pages 213–261.1984.Google Scholar
  19. [Sin94]
    M. Singh. Multiagent systems: a theoretical framework for intentions, know-how, and communications. Springer-Verlag, Heidelberg, Germany, 1994. Lecture Notes in Artificial Intelligence (LNAI 799).Google Scholar
  20. [SMP97]
    M. Schroeder, I.A. Móra, and L.M. Pereira. A deliberative and reactive diagnosis agent based in logic programming. In Proceedings of the Intelligent Agents III: Agent Theories, Architectures and Languages, Budhapest, Hungary, 1997. ECAI Org. Lecture Notes in Artificial Intelligence (LNAI 1193).Google Scholar
  21. [vLvdHM95]
    B. van Linder, W. van der Hoek, and J.J.C. Meyer. Formalising motivational attitudes of agents: on preferences, goals and commitments. In Proceedings of the Intelligent Agents IL Agent Theories, Architectures and Languages, Montreal, Canada, 1995. IJCAI Org. Lecture Notes in Artificial Intelligence (LNAI 1037).Google Scholar
  22. [Wag96]
    G. Wagner. A logical and operational model of scalable knowledge and perception-based agents. In Proceedings of the European Workshop on Modelling Autonomous Agents and Multi-Agents Worlds 1996 (MAAMAW'96), Berlin, Germany, 1996. Springer-Verlag.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Michael da Costa Móra
    • 2
    • 1
  • Gabriel Pereira Lopes
    • 1
  • Helder Coelho
    • 3
  • Rosa M. Viccari
    • 2
  1. 1.CENTRIA/DI - Universidade Nova de LisboaMonte da CaparicaPortugal
  2. 2.CPGCC - II - Universidade Federal do Rio Grande do SulPorto AlegreBrasil
  3. 3.DI - FCUL - Universidade de LisboaLisboaPortugal

Personalised recommendations