Skip to main content

BDI Models and Systems: Reducing the Gap

  • Conference paper
  • First Online:
Intelligent Agents V: Agents Theories, Architectures, and Languages (ATAL 1998)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1555))

Included in the following conference series:

Abstract

Beliefs-Desires-Intentions models (or BDI models) of agents have been around for quit a long time. The purpose of these models is to characterize agents using anthropomorphic notions, such as mental states and actions. However, despite the fact that many systems have been developed based on these models, it is a general concern that there is a gap between those powerful BDI logics and practical systems. The purpose of this paper is to present a BDI model that, besides being a formal model of agents, is also suitable to be used to implement agents. Instead of defining a new BDI logic or choosing an existing one, and extending it with an operational model, we define the notions of belief, desires and intentions using a logic formalismthat is both well-defined and computational.

Supported by project DIXIT/JNICT.

Supported by CNPq/Brazil.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Subscribe and save

Springer+ Basic
EUR 32.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. 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. J.J. Alferes, L.M. Pereira, and T. Przymusinski. Belief revision in non-monotonic reasoning and logic programming. In C. Pinto-Ferreira and N.J. Mamede, editors, Proceedings of the Seventh Portuguese Conference on Artificial Intelligence (EPIA’93), Berlin, Germany, 1995. APIA, Springer-Verlag. Lecture Notes on Artificial Intelligence (LNAI 990).

    Google Scholar 

  3. L. Beaudoin. Goal Processing in Autonomous Agents. PhD thesis, Birmingham University, Birmingham,UK, August 1994.

    Google Scholar 

  4. J. Bell. A planning theory of practical reasoning. In Proceedings of the AAAI’95 Fall Symposium on Rational Agents Concepts. AAAI, 1995.

    Google Scholar 

  5. 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 

  6. 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 

  7. M. Bratman. Planning and the stability of intentions. Minds and Machines, 2:1–16, 1992.

    Article  Google Scholar 

  8. M. Bratman, D.J. Israel, and M.E Pollack. Plans and resource bounded practical reasoning. Computational Intelligence, 4:349–355, 1988.

    Article  Google Scholar 

  9. 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 

  10. P.R. Cohen and H.J. Levesque. Intention is choice with commitment. Artificial Intelligence, 42:213–261, 1990.

    Article  MathSciNet  MATH  Google Scholar 

  11. M. Corrêa and H. Coelho. Around the architectural approach to model conversations. In Proceedings of the Fifth European Workshop on Modelling Autonomous Agents and Multi-Agents Worlds (MAAMAW’93), 1993.

    Google Scholar 

  12. M. Corrêa and H. Coelho. A framework for mental states and agent architectures. In Proceedings of the MASTAS Workshop at EPIA’97, 1997.

    Google Scholar 

  13. M. Corrêa and S. Mendes. A computational approach to situation theory based on logic programming to design cognitive agents. In Advances in Artificial Intelligence: Proceedings of the 12th Brazilian Symposium on Artificial Intelligence. Springer-Verlag, 1995. (Lecture Notes on Artificial Intelligence 991).

    Google Scholar 

  14. 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 

  15. K. Devlin. Logic and Information. Cambridge University Press, 1991.

    Google Scholar 

  16. M. Georgeff and A. Lansky. Reactive reasoning and planning. In Proceedings of the National Conference of Artificial Intelligence (AAAI’91). AAAI inc., 1991.

    Google Scholar 

  17. A. Haddadi. Communication and Cooperation in Agent Systems: a Pragmatic Theory. Springer-Verlag, Berlin, DE., 1996. Lecture Notes in Artificial Intelligence Series (LNAI) 1056.

    MATH  Google Scholar 

  18. K. Konolige and M. Pollack. A representationalist theory of intentions. In Proceedings of the XII International Joint Conference on Artificial Intelligence (IJCAI’93), Chambéry, France, 1993. IJCAI inc.

    Google Scholar 

  19. R. Li and L.M. Pereira. Knowledge assimilation in domains of actions: A possible causes approach. Journal of Applied Non-Classical Logic, 1996. Special issue on Inconsistency Handling in Knowledge Systems.

    Google Scholar 

  20. M.C. Móra, J.G. Lopes, H. Coelho, and R. Viccari. Affecting the stability of intentions. In E. Costa, editor, 8th Portuguese Conference on Artificial Intelligence. Springer-Verlag, 1997.

    Google Scholar 

  21. M.C. Móra, J.G. Lopes, H. Coelho, and R. Viccari. Modelling agents with extended logic programa. In International Workshop on Engineering of Intelligent Systems. ICSC co., 1998.

    Google Scholar 

  22. N. Moussale, R.M. Viccari, and M. Corr≸. Tutor-student interaction modelling in an agent architecture based on mental states. In D. Borges and C. Kaestner, editors, Advances in Artificial Intelligence: Proceedings of the Thirteenth Brasilian Symposium on Artificial Intelligence, Berlin, Germany, 1996. SBC, Springer-Verlag. Lecture Notes in Artificial Intelligence (LNAI 1159).

    Google Scholar 

  23. H. Nakashima, I. Ohsawa, and Y. Kinoshita. Inference with mental situation. Technical report, Umezono, Tsukuba, Ibaraki,Japan, 1981. (TR-91-7).

    Google Scholar 

  24. 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 

  25. 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 

  26. A.S. Rao andM.P. Georgeff. Modelling rational agents within a BDI-architecture. 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 

  27. K. Schild. On the relationship between BDI logics and standard logics of concurrency. In J. P. Müller, M. P. Singh, and A. S. Rao, editors, Intelligent Agents V — Proceedings of the Fifth International Workshop on Agent Theories, Architectures, and Languages (ATAL-98), Lecture Notes in Artificial Intelligence. Springer-Verlag, Heidelberg, 1999. In this volume.

    Google Scholar 

  28. M. Schroeder, Iara de Almeida Móra, and Luís Moniz Pereira. A deliberative and reactive diagnosis agent based on logic programming. In J. P. Müller, M. J. Wooldridge, and N. R. Jennings, editors, Intelligent Agents III — Proceedings of the Third International Workshop on Agent Theories, Architectures, and Languages (ATAL-96), volume 1193 of Lecture Notes in Artificial Intelligence, pages 293–308. Springer-Verlag, Heidelberg, 1997.

    Chapter  Google Scholar 

  29. Y. Shoham. Agent-oriented programming. Artificial Intelligence, 60:51–92, 1993.

    Article  MathSciNet  Google Scholar 

  30. 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).

    MATH  Google Scholar 

  31. B. van Linder, W. van der Hoek, and J. J. Ch. Meyer. Formalizing motivational attitudes of agents: On preferences, goals, and commitments. In M. Wooldridge, J. P. Müller, and M. Tambe, editors, Intelligent Agents II — Proceedings of the Second International Workshop on Agent Theories, Architectures, and Languages (ATAL-95), volume 1037 of Lecture Notes in Artificial Intelligence, pages 17–32. Springer-Verlag, Heidelberg, 1996.

    Google Scholar 

  32. 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 

  33. M. J. Wooldridge and S. D. Parsons. Intention reconsideration reconsidered. In J. P. Müller, M. P. Singh, and A. S. Rao, editors, Intelligent Agents V — Proceedings of the Fifth International Workshop on Agent Theories, Architectures, and Languages (ATAL-98), Lecture Notes in Artificial Intelligence. Springer-Verlag, Heidelberg, 1999. In this volume.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Mora, M.C., Lopes, J.G., Viccariz, R.M., Coelho, H. (1999). BDI Models and Systems: Reducing the Gap. In: Müller, J.P., Rao, A.S., Singh, M.P. (eds) Intelligent Agents V: Agents Theories, Architectures, and Languages. ATAL 1998. Lecture Notes in Computer Science, vol 1555. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-49057-4_2

Download citation

  • DOI: https://doi.org/10.1007/3-540-49057-4_2

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-65713-2

  • Online ISBN: 978-3-540-49057-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics