Skip to main content
SpringerLink
Log in

Coo-BDI: Extending the BDI Model with Cooperativity

  • Conference paper
Book cover Declarative Agent Languages and Technologies (DALT 2003)

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

Included in the following conference series:

Abstract

We define Coo-BDI, an extension of the BDI architecture with the notion of cooperativity. Agents can cooperate by exchanging and sharing plans in a quite flexible way. As a main result Coo-BDI promotes adaptivity and sharing of resources; as a by-product, it provides a better support for dealing with agents which do not possess their own procedural knowledge for processing a given event.

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

Access this chapter

Log in via an institution
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.

References

  1. Wooldridge, M., Jennings, N.R.: Intelligent agents: Theory and practice. The Knowledge Engineering Review 10, 115–152 (1995)

    Article  Google Scholar 

  2. Jennings, N.R., Sycara, K., Wooldridge, M.: A roadmap of agent research and development. Autonomous Agents and Multi-Agent Systems 1, 7–38 (1998)

    Article  Google Scholar 

  3. Rao, A.S., Georgeff, M.: BDI agents: from theory to practice. In: Lesser, V., Gasser, L. (eds.) Proc. of the 1st International ICMAS Conference, pp. 312–319 (1995)

    Google Scholar 

  4. Rao, A.S., Georgeff, M.: Decision procedures for BDI logics. Journal of Logic and Computation 8, 293–342 (1998)

    Article  MATH  MathSciNet  Google Scholar 

  5. Winikoff, M.: AgentTalk Home Page (2001), http://goanna.cs.rmit.edu.au/~winikoff/agenttalk

  6. d’Inverno, M., Hindriks, K.V., Luck, M.: A formal architecture for the 3APL agent programming language. In: Bowen, J.P., Dunne, S., Galloway, A., King, S. (eds.) B 2000, ZUM 2000, and ZB 2000. LNCS, vol. 1878, pp. 168–187. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  7. Rao, A.S.: AgentSpeak(L): BDI agents speak out in a logical computable language. In: Perram, J., Van de Velde, W. (eds.) MAAMAW 1996. LNCS (LNAI), vol. 1038, pp. 42–55. Springer, Heidelberg (1996)

    Chapter  Google Scholar 

  8. Busetta, P., Ronnquist, R., Hodgson, A., Lucas, A.: JACK intelligent agents – components for intelligent agents in Java. AgentLink News Letter 2 (1999)

    Google Scholar 

  9. Myers, K.L.: User guide for the procedural reasoning system. Technical report, Artificial Intelligence Center, Menlo Park, CA (1997)

    Google Scholar 

  10. d’Inverno, M., Kinny, D., Luck, M., Wooldridge, M.: A formal specification of dMARS. In: Rao, A., Singh, M.P., Wooldridge, M.J. (eds.) ATAL 1997. LNCS (LNAI), vol. 1365, pp. 155–176. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  11. Bordini, R.H., Moreira, Á.F.: Proving the asymmetry thesis principles for a BDI agent-oriented programming language. In: Dix, J., Leite, J.A., Satoh, K. (eds.) Proc. of the 3rd International CLIMA Workshop. Electronic Notes in Theoretical Computer Science, vol. 70(5), Elsevier, Amsterdam (2002)

    Google Scholar 

  12. Moreira, Á.F., Bordini, R.H.: An operational semantics for a BDI agent-oriented programming language. In: Proc. of the LABS Workshop, held in conjunction with KR 2002, pp. 45–59 (2002)

    Google Scholar 

  13. Moreira, Á.F., Vieira, R., Bordini, R.H.: Extending the operational semantics of a BDI agent-oriented programming language for introducing speech-act based communication. In: Leite, J., Omicini, A., Sterling, L., Torroni, P. (eds.) DALT 2003. LNCS (LNAI), vol. 2990, pp. 135–154. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  14. Bordini, R.H., Bazzan, A.L.C., de O. Jannone, R., Basso, D.M., Vicari, R.M., Lesser, V.R.: AgentSpeak(XL): efficient intention selection in BDI agents via decision-theoretic task scheduling. In: Castelfranchi, C., Johnson, W.L. (eds.) Proc. of the 1st International AAMAS Joint Conference, pp. 1294–1302. ACM Press, New York (2002)

    Google Scholar 

  15. Kowalski, R., Sadri, F.: Towards a unified agent architecture that combines rationality with reactivity. In: Pedreschi, D., Zaniolo, C. (eds.) Proc. of the LID International Workshop, pp. 137–149. Springer, Heidelberg (1996)

    Google Scholar 

  16. Robinson, J.A.: Computational logic: The unification computation. Machine intelligence 6, 63–72 (1971)

    Google Scholar 

  17. Padgham, L., Lambrix, P.: Agent capabilities: Extending BDI theory. In: Proc. of the 7th AAAI National Conference, pp. 68–73. AAAI Press–The MIT Press (2000)

    Google Scholar 

  18. Broersen, J., Dastani, M., Hulstijn, J., Huang, Z., van der Torre, L.: The BOID architecture: conflicts between beliefs, obligations, intentions and desires. In: Proc. of the 5th International Agents Conference, pp. 9–16. ACM Press, New York (2001)

    Chapter  Google Scholar 

  19. Dastani, M., van der Torre, L.: An extension of BDI CTL with functional dependencies and components. In: Baaz, M., Voronkov, A. (eds.) LPAR 2002. LNCS (LNAI), vol. 2514, pp. 115–129. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  20. Panzarasa, P., Norman, T., Jennings, N.R.: Modeling sociality in the BDI framework. In: Liu, J., Zhong, N. (eds.) Proc. of the 1st Asia-Pacific Conference on Intelligent Agent Technology, pp. 202–206. World Scientific Publishing, Singapore (1999)

    Google Scholar 

  21. Padmanabhan, V., Governatori, G., Sattar, A.: Actions made explicit in BDI. In: Stumptner, M., Corbett, D., Brooks, M.J. (eds.) Proc. of the 14th Australian Joint Conference on AI, pp. 390–401. Springer, Heidelberg (2001)

    Google Scholar 

  22. Dignum, F., Morley, D., Sonenberg, E., Cavendon, L.: Towards socially sophisticated BDI agents. In: Proc. of the 4th International ICMAS Conference, pp. 111–118. IEEE Computer Society, Los Alamitos (2000)

    Google Scholar 

  23. Trân, B.V., Harland, J., Hamilton, M.: A combined logic of expectation and observation (a generalization of BDI logics). In: Leite, J., Omicini, A., Sterling, L., Torroni, P. (eds.) DALT 2003. LNCS (LNAI), vol. 2990, pp. 155–172. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  24. Busetta, P., Ramamohanarao, K.: An architecture for mobile BDI agents. In: Proc. of the 1998 ACM SAC Symposium (1998)

    Google Scholar 

  25. Busetta, P., Bailey, J., Kotagiri, R.: A reliable computational model for BDI agents. In: Proc. of the Workshop on Safe Agents. Held in conjuction with AAMAS 2003 (2003)

    Google Scholar 

  26. Huber, M.J.: JAM: A BDI-theoretic mobile agent architecture. AgentLink News Letter 5 (2000)

    Google Scholar 

  27. Mayfield, J., Labrou, Y., Finin, T.: Evaluation of KQML as an agent communication language. In: Tambe, M., Müller, J., Wooldridge, M.J. (eds.) IJCAI-WS 1995 and ATAL 1995. LNCS, vol. 1037, pp. 347–360. Springer, Heidelberg (1996)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. DISI, Università di Genova, Via Dodecaneso 35, 16146, Genova, Italy

    Davide Ancona & Viviana Mascardi

Authors
  1. Davide Ancona
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Viviana Mascardi
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Departamento de Informática, Universidade Nova de Lisboa, 2829-516, Caparica, Portugal

    João Leite

  2. Alma Mater Studiorum Università di Bologna a Cesena, via Venezia 52, 47023, Cesena, Italy

    Andrea Omicini

  3. Department of Computer Science and Software Engineering, The University of Melbourne, 3010, Vic, Australia

    Leon Sterling

  4. DEIS, University of Bologna, V.le Risorgimento 2, 40136, Bologna, Italy

    Paolo Torroni

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ancona, D., Mascardi, V. (2004). Coo-BDI: Extending the BDI Model with Cooperativity. In: Leite, J., Omicini, A., Sterling, L., Torroni, P. (eds) Declarative Agent Languages and Technologies. DALT 2003. Lecture Notes in Computer Science(), vol 2990. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-25932-9_7

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-25932-9_7

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-22124-1

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation