Advertisement

1000 Years of Coo-BDI

  • Viviana Mascardi
  • Davide Ancona
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7169)

Abstract

The idea of extending the BDI architecture with cooperativity started shaping in 2003 when two independent proposals to support cooperation in a BDI setting were presented at DALT. One proposal, Coo-BDI, extended the BDI architecture by allowing agents to cooperate by exchanging and sharing plans in a quite flexible way; the other extended the BDI operational semantics for introducing speech-act based communication, including primitives for plan exchange. Besides allowing a natural and seamless integration with speech-act based communication for BDI languages, the intuitions behind Coo-BDI have proved to be promising and attractive enough to give rise to new investigations. In this retrospective review we discuss papers that were influenced by Coo-BDI and we outline other potential developments for future research.

Keywords

Multiagent System Operational Semantic Linear Temporal Logic Commitment Strategy Computation Tree Logic 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Alves, A., et al.: Web Services Business Process Execution Language version 2.0, public review draft, August 23 (2006), http://docs.oasis-open.org/wsbpel/2.0/wsbpel-specification-draft.html (accessed on August 30, 2011)
  2. 2.
    Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. Journal of the ACM 49(5), 672–713 (2002)MathSciNetCrossRefGoogle Scholar
  3. 3.
    Ancona, D., Mascardi, V.: Coo-BDI: Extending the BDI Model with Cooperativity. In: Leite, J., Omicini, A., Sterling, L., Torroni, P. (eds.) DALT 2003. LNCS (LNAI), vol. 2990, pp. 109–134. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  4. 4.
    Ancona, D., Mascardi, V., Hübner, J.F., Bordini, R.H.: Coo-AgentSpeak: Cooperation in AgentSpeak through plan exchange. In: Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2004, pp. 696–705. IEEE Computer Society (2004)Google Scholar
  5. 5.
    Baldoni, M., Baroglio, C., Martelli, A., Patti, V., Schifanella, C.: Interaction Protocols and Capabilities: A Preliminary Report. In: Alferes, J.J., Bailey, J., May, W., Schwertel, U. (eds.) PPSWR 2006. LNCS, vol. 4187, pp. 63–77. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  6. 6.
    Baldoni, M., Baroglio, C., Martelli, A., Patti, V., Schifanella, C.: The need of capability requirements inside choreographies and interaction protocols. In: Yan, Y., Zhang, L. (eds.) Proceedings of the International Workshop on Service Oriented Techniques, SOT 2006, pp. 17–24 (2006)Google Scholar
  7. 7.
    Baldoni, M., Baroglio, C., Martelli, A., Patti, V., Schifanella, C.: Preserving players goals: a choreography-driven matchmaking approach. In: Baldoni, M., Boccalatte, A., De Paoli, F., Martelli, M., Mascardi, V. (eds.) Proceedings of the 8th AI*IA/TABOO Joint Workshop “From Objects to Agents”, WOA 2007, pp. 132–139. Seneca Edizioni Torino (2007)Google Scholar
  8. 8.
    Baldoni, M., Baroglio, C., Martelli, A., Patti, V., Schifanella, C.: Reasoning on choreographies and capability requirements. International Journal of Business Process Integration and Management 2(4), 247–261 (2007)CrossRefGoogle Scholar
  9. 9.
    Bordini, R.H., Moreira, Á.F.: Proving BDI properties of agent-oriented programming languages. Annals of Mathematics and Artificial Intelligence 42, 197–226 (2004)MathSciNetzbMATHCrossRefGoogle Scholar
  10. 10.
    Bordini, R.H., Wooldridge, M., Hübner, J.F.: Programming Multi-Agent Systems in AgentSpeak using Jason. John Wiley & Sons (2007)Google Scholar
  11. 11.
    Bozzo, L., Mascardi, V., Ancona, D., Busetta, P.: COOWS: Adaptive BDI agents meet service-oriented computing. In: Gleizes, M.P., Kaminka, G.A., Nowé, A., Ossowski, S., Tuyls, K., Verbeeck, K. (eds.) Proceedings of the 3rd European Workshop on Multi-Agent Systems, EUMAS 2005, p. 473. Koninklijke Vlaamse Academie van Belie voor Wetenschappen en Kunsten (2005); longer version of this paper also appeared in the Proceedings of the WWW/Internet 2005 Conference, edited by P. Isaìas and M. B. Nunes, vol. II, pp. 205–209 (2005)Google Scholar
  12. 12.
    Christensen, E., Curbera, F., Meredith, G., Weerawarana, S.: Web Services Description Language (WSDL) 1.1, W3C note, March 15 (2001), http://www.w3.org/TR/wsdl (accessed on August 30, 2011)
  13. 13.
    Consoli, A., Tweedale, J., Jain, L.C.: An Architecture for Agent Coordination and Cooperation. In: Apolloni, B., Howlett, R.J., Jain, L.C. (eds.) KES 2007, Part III. LNCS (LNAI), vol. 4694, pp. 934–940. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  14. 14.
    Costantini, S., Dell’Acqua, P., Pereira, L.M.: A multi-layer framework for evolving and learning agents. In: Proceedings of the AAAI 2008 Workshop on Metareasoning: Thinking about Thinking. Stanford University, AAAI Press (2008)Google Scholar
  15. 15.
    Costantini, S., Dell’Acqua, P., Pereira, L.M.: Conditional Learning of Rules and Plans by Knowledge Exchange in Logical Agents. In: Pasche, A. (ed.) RuleML 2011 - Europe. LNCS, vol. 6826, pp. 250–265. Springer, Heidelberg (2011)Google Scholar
  16. 16.
    Costantini, S., Dell’Acqua, P., Pereira, L.M., Toni, F.: Learning and evolving agents in user monitoring and training. In: Proceedings of the 48th National Conference of the Italian Association for Computer Science and Automatic Computation, AICA Conference 2010 (2010)Google Scholar
  17. 17.
    Costantini, S., Dell’Acqua, P., Pereira, L.M., Tsintza, P.: Runtime verification of agent properties. In: Proceedings of the International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2009 (2009)Google Scholar
  18. 18.
    Costantini, S., Tocchio, A.: The DALI Logic Programming Agent-Oriented Language. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol. 3229, pp. 685–688. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  19. 19.
    Costantini, S., Tocchio, A.: Learning by knowledge exchange in logical agents. In: Corradini, F., De Paoli, F., Merelli, E., Omicini, A. (eds.) Proceedings of the 6th AI*IA/TABOO Joint Workshop “From Objects to Agents”, WOA 2005, pp. 1–8. Pitagora Editrice Bologna (2005)Google Scholar
  20. 20.
    Emerson, E.A., Halpern, J.Y.: “Sometimes” and “not never” revisited: on branching versus linear time temporal logic. Journal of the ACM 33(1), 151–178 (1986)MathSciNetzbMATHCrossRefGoogle Scholar
  21. 21.
    Euzenat, J., Shvaiko, P.: Ontology Matching. Springer, Heidelberg (2007)zbMATHGoogle Scholar
  22. 22.
    Honda, K.: Types for Dynamic Interaction. In: Best, E. (ed.) CONCUR 1993. LNCS, vol. 715, pp. 509–523. Springer, Heidelberg (1993)CrossRefGoogle Scholar
  23. 23.
    Klapiscak, T., Bordini, R.H.: JASDL: A Practical Programming Approach Combining Agent and Semantic Web Technologies. In: Baldoni, M., Son, T.C., van Riemsdijk, M.B., Winikoff, M. (eds.) DALT 2008. LNCS (LNAI), vol. 5397, pp. 91–110. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  24. 24.
    Mascardi, V., Ancona, D., Bordini, R.H., Ricci, A.: CooL-AgentSpeak: Enhancing AgentSpeak-DL agents with plan exchange and ontology services. In: Boissier, O., Bradshaw, J., Cao, L., Fischer, K., Hacid, M.-S. (eds.) Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology, IAT 2011, pp. 109–116. IEEE Computer Society (2011)Google Scholar
  25. 25.
    Meneguzzi, F., Luck, M.: Composing High-Level Plans for Declarative Agent Programming. In: Baldoni, M., Son, T.C., van Riemsdijk, M.B., Winikoff, M. (eds.) DALT 2007. LNCS (LNAI), vol. 4897, pp. 69–85. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  26. 26.
    Montagna, R., Delzanno, G., Martelli, M., Mascardi, V.: BDIATL: An alternating-time BDI logic for multiagent systems. In: Gleizes, M.P., Kaminka, G.A., Nowé, A., Ossowski, S., Tuyls, K., Verbeeck, K. (eds.) Proceedings of the 3rd European Workshop on Multi-Agent Systems, EUMAS 2005, pp. 214–223. Koninklijke Vlaamse Academie van Belie voor Wetenschappen en Kunsten (2005)Google Scholar
  27. 27.
    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)CrossRefGoogle Scholar
  28. 28.
    Moreira, Á.F., Vieira, R., Bordini, R.H., Hübner, J.F.: Agent-Oriented Programming with Underlying Ontological Reasoning. In: Baldoni, M., Endriss, U., Omicini, A., Torroni, P. (eds.) DALT 2005. LNCS (LNAI), vol. 3904, pp. 155–170. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  29. 29.
    Rao, A.S.: AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language. In: Perram, J.W., Van de Velde, W. (eds.) MAAMAW 1996. LNCS, vol. 1038, pp. 42–55. Springer, Heidelberg (1996)CrossRefGoogle Scholar
  30. 30.
    Rao, A.S., Georgeff, M.P.: Asymmetry thesis and side-effect problems in linear-time and branching-time intention logics. In: Mylopoulos, J., Reiter, R. (eds.) Proceedings of the 12th International Joint Conference on Artificial Intelligence, IJCAI 1991, pp. 498–505. Morgan Kaufmann (1991)Google Scholar
  31. 31.
    Rao, A.S., Georgeff, M.P.: Deliberation and intentions. In: D’Ambrosio, B., Smets, P. (eds.) Proceedings of the 7th Conference on Uncertainty in Artificial Intelligence, UAI 1991. Morgan Kaufmann (1991)Google Scholar
  32. 32.
    Rao, A.S., Georgeff, M.P.: Modelling rational agents within a BDI-architecture. In: Proceedings of the 2nd International Conference of Principles of Knowledge Representation and Reasoning, KR 1991. Morgan Kaufmann Publishers (1991)Google Scholar
  33. 33.
    Varela, C., Abalde, C., Castro, L.M., Gulías, J.: On modelling agent systems with Erlang. In: Cesarini, F., Wadler, P. (eds.) 3rd ACM SIGPLAN Workshop on Erlang, Proceedings, pp. 65–70. ACM (2004)Google Scholar
  34. 34.
    Winikoff, M.: An AgentSpeak Meta-interpreter and Its Applications. In: Bordini, R.H., Dastani, M.M., Dix, J., El Fallah Seghrouchni, A. (eds.) PROMAS 2005. LNCS (LNAI), vol. 3862, pp. 123–138. Springer, Heidelberg (2006)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Viviana Mascardi
    • 1
  • Davide Ancona
    • 1
  1. 1.DISIUniversità di GenovaGenovaItaly

Personalised recommendations