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.
There are only 10 types of people in the world: those who understand binary, and those who don’t.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
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.
References
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)
Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. Journal of the ACM 49(5), 672–713 (2002)
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)
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)
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)
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)
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)
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)
Bordini, R.H., Moreira, Á.F.: Proving BDI properties of agent-oriented programming languages. Annals of Mathematics and Artificial Intelligence 42, 197–226 (2004)
Bordini, R.H., Wooldridge, M., Hübner, J.F.: Programming Multi-Agent Systems in AgentSpeak using Jason. John Wiley & Sons (2007)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
Euzenat, J., Shvaiko, P.: Ontology Matching. Springer, Heidelberg (2007)
Honda, K.: Types for Dynamic Interaction. In: Best, E. (ed.) CONCUR 1993. LNCS, vol. 715, pp. 509–523. Springer, Heidelberg (1993)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mascardi, V., Ancona, D. (2012). 1000 Years of Coo-BDI. In: Sakama, C., Sardina, S., Vasconcelos, W., Winikoff, M. (eds) Declarative Agent Languages and Technologies IX. DALT 2011. Lecture Notes in Computer Science(), vol 7169. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-29113-5_9
Download citation
DOI: https://doi.org/10.1007/978-3-642-29113-5_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-29112-8
Online ISBN: 978-3-642-29113-5
eBook Packages: Computer ScienceComputer Science (R0)