1000 Years of Coo-BDI

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.

[1]  Michael Wooldridge,et al.  Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology) , 2007 .

[2]  Luís Moniz Pereira,et al.  A Multi-layer Framework for Evolving and Learning Agents , 2008 .

[3]  Luís Moniz Pereira,et al.  Runtime Verification of Agent Properties , 2009 .

[4]  Viviana Mascardi,et al.  BDI^ATL : An Alternating-Time BDI Logic for Multiagent Systems , 2005, EUMAS.

[5]  A. S. Roa,et al.  AgentSpeak(L): BDI agents speak out in a logical computable language , 1996 .

[6]  Francisco Curbera,et al.  Web Services Business Process Execution Language Version 2.0 , 2007 .

[7]  Stefania Costantini,et al.  The DALI Logic Programming Agent-Oriented Language , 2004, JELIA.

[8]  Alberto Martelli,et al.  The Need of Capability Requirements Inside Choreographies and Interaction Protocols , 2006 .

[9]  Anand S. Rao,et al.  Modeling Rational Agents within a BDI-Architecture , 1997, KR.

[10]  Davide Ancona,et al.  CooL-AgentSpeak: Enhancing AgentSpeak-DL Agents with Plan Exchange and Ontology Services , 2011, 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology.

[11]  Álvaro F. Moreira,et al.  Proving BDI Properties of Agent-Oriented Programming Languages: The asymmetry thesis principles in AgentSpeak(L) , 2004, Annals of Mathematics and Artificial Intelligence.

[12]  Yaron Goland,et al.  Web Services Business Process Execution Language , 2009, Encyclopedia of Database Systems.

[13]  Luís Moniz Pereira,et al.  Learning and Evolving Agents in User Monitoring and Training , 2010 .

[14]  Alberto Martelli,et al.  Preserving players goals: a choreography-driven matchmaking approach , 2007, WOA.

[15]  Michael Winikoff.  An AgentSpeak Meta-interpreter and Its Applications , 2005, PROMAS.

[16]  Davide Ancona,et al.  COOWS: Adaptive BDI Agents meet Service-Oriented Computing , 2005, EUMAS.

[17]  Kohei Honda,et al.  Types for Dynamic Interaction , 1993 .

[18]  I. Melzer.  Web Services Description Language , 2010 .

[19]  Anand S. Rao,et al.  Asymmetry Thesis and Side-Effect Problems in Linear-Time and Branching-Time Intention Logics , 1991, IJCAI.

[20]  Luís Moniz Pereira,et al.  Conditional Learning of Rules and Plans by Knowledge Exchange in Logical Agents , 2011, RuleML Europe.

[21]  Alberto Martelli,et al.  Reasoning on choreographies and capability requirements , 2007, Int. J. Bus. Process. Integr. Manag..

[22]  Kohei Honda,et al.  Types for Dyadic Interaction , 1993, CONCUR.

[23]  François Fages,et al.  Principles and Practice of Semantic Web Reasoning, Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005, Proceedings , 2005, PPSWR.

[24]  Álvaro F. Moreira,et al.  Extending the Operational Semantics of a BDI Agent-Oriented Programming Language for Introducing Speech-Act Based Communication , 2003, DALT.

[25]  Anand S. Rao,et al.  Deliberation and its Role in the Formation of Intentions , 1991, UAI.

[26]  Andrea Omicini,et al.  Declarative Agent Languages and Technologies III , 2005, Lecture Notes in Computer Science.

[27]  Álvaro F. Moreira,et al.  Agent-Oriented Programming with Underlying Ontological Reasoning , 2005, DALT.

[28]  Lakhmi C. Jain,et al.  An Architecture for Agent Coordination and Cooperation , 2007, KES.

[29]  Walter Van de Velde,et al.  Agents Breaking Away , 1996, Lecture Notes in Computer Science.

[30]  Frank Wolter,et al.  Semi-qualitative Reasoning about Distances: A Preliminary Report , 2000, JELIA.

[31]  Laura M. Castro,et al.  On modelling agent systems with erlang , 2004, ERLANG '04.

[32]  Andrea Omicini,et al.  WOA 2005: Dagli Oggetti agli Agenti. 6th AI*IA/TABOO Joint Workshop "From Objects to Agents": Simulation and Formal Analysis of Complex Systems, 14-16 November 2005, Camerino, MC, Italy , 2005, WOA.

[33]  Stefania Costantini,et al.  Learning by Knowledge Exchange in Logical Agents , 2005, WOA.

[34]  Rafael H. Bordini,et al.  JASDL: A Practical Programming Approach Combining Agent and Semantic Web Technologies , 2008, DALT.

[35]  Joseph Y. Halpern,et al.  “Sometimes” and “not never” revisited: on branching versus linear time temporal logic , 1986, JACM.

[36]  Michael Luck,et al.  Composing High-Level Plans for Declarative Agent Programming , 2007, DALT.

[37]  Davide Ancona,et al.  Coo-AgentSpeak: cooperation in AgentSpeak through plan exchange , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[38]  J. Euzenat,et al.  Ontology Matching , 2007, Springer Berlin Heidelberg.

[39]  Lakhmi C. Jain,et al.  Knowledge-Based Intelligent Information and Engineering Systems , 2004, Lecture Notes in Computer Science.

[40]  Thomas A. Henzinger,et al.  Alternating-time temporal logic , 1999 .

[41]  A. Rao,et al.  Deliberation and Intentions , 1991 .

[42]  Davide Ancona,et al.  Coo-BDI: Extending the BDI Model with Cooperativity , 2003, DALT.

[43]  Alberto Martelli,et al.  Interaction Protocols and Capabilities: A Preliminary Report , 2006, PPSWR.