Run, agent, run! architecture and benchmarking of actor-based agents

The paper introduces an Agent-Oriented Programming (AOP) framework based on the Belief-Desire-Intention (BDI) model of agency. The novelty of this framework is in relying on the Actor model, instantiating each intentional agent as an autonomous micro-system run by actors. The working hypothesis behind this choice is that defining the agents via actors results in a more fine-grained modular architecture and that the execution of agent-oriented programs is enhanced (in scalability as well as in performance) by relying on robust implementations of Actor models such as Akka. The framework is benchmarked and analyzed quantitatively and qualitatively against three other AOP frameworks: Jason, ASTRA and Sarl.

[1]  Jörg P. Müller,et al.  LightJason - A BDI Framework Inspired by Jason , 2016, EUMAS/AT.

[2]  Mehdi Dastani,et al.  2APL: a practical agent programming language , 2008, Autonomous Agents and Multi-Agent Systems.

[3]  Martin Odersky,et al.  Scala Actors: Unifying thread-based and event-based programming , 2009, Theor. Comput. Sci..

[4]  Koen V. Hindriks,et al.  Programming Rational Agents in GOAL , 2009, Multi-Agent Programming, Languages, Tools and Applications.

[5]  Emiliano Lorini,et al.  BDI Logics for BDI Architectures: Old Problems, New Perspectives , 2016, KI - Künstliche Intelligenz.

[6]  Lavindra de Silva,et al.  Planning in BDI agents: a survey of the integration of planning algorithms and agent reasoning , 2013, The Knowledge Engineering Review.

[7]  Carl Hewitt,et al.  Actor Model of Computation: Scalable Robust Information Systems , 2010, 1008.1459.

[8]  Jürgen Dix,et al.  The First Contest on Multi-agent Systems Based on Computational Logic , 2005, CLIMA.

[9]  James Harland,et al.  Preference-based reasoning in BDI agent systems , 2015, Autonomous Agents and Multi-Agent Systems.

[10]  Jürgen Dix,et al.  IMPACT: A Multi-Agent Framework with Declarative Semantics , 2005, Multi-Agent Programming.

[11]  Thomas C. Schmidt,et al.  CAF - the C++ Actor Framework for Scalable and Resource-Efficient Applications , 2014, AGERE! '14.

[12]  Tom M. van Engers,et al.  Integrating CP-Nets in Reactive BDI Agents , 2019, PRIMA.

[13]  Michael Luck,et al.  Norm-based behaviour modification in BDI agents , 2009, AAMAS.

[14]  ClebschSylvan,et al.  Fully concurrent garbage collection of actors on many-core machines , 2013 .

[15]  Carl Hewitt,et al.  A Universal Modular ACTOR Formalism for Artificial Intelligence , 1973, IJCAI.

[16]  Rafael H. Bordini,et al.  Jason and the Golden Fleece of Agent-Oriented Programming , 2005, Multi-Agent Programming.

[17]  Rafael H. Bordini,et al.  Towards benchmarking actor- and agent-based programming languages , 2013, AGERE! 2013.

[18]  Sophia Drossopoulou,et al.  Fully concurrent garbage collection of actors on many-core machines , 2013, OOPSLA.

[19]  Jürgen Dix,et al.  Scalable Multi-agent Simulation Based on MapReduce , 2016, EUMAS/AT.

[20]  Michael E. Bratman,et al.  Intention, Plans, and Practical Reason , 1991 .

[21]  Sophia Drossopoulou,et al.  Run, actor, run: towards cross-actor language benchmarking , 2019, AGERE!@SPLASH.

[22]  Andrea Omicini,et al.  tu Prolog: A Light-Weight Prolog for Internet Applications and Infrastructures , 2001, PADL.

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

[24]  Lin Padgham,et al.  Integrating Learning into a BDI Agent for Environments with Changing Dynamics , 2011, IJCAI.

[25]  Rafael H. Bordini,et al.  Multi-Agent Programming: Languages, Platforms and Applications , 2005, Multi-Agent Programming.

[26]  Anand S. Rao,et al.  BDI Agents: From Theory to Practice , 1995, ICMAS.

[27]  Rem W. Collier,et al.  Multiple Inheritance in AgentSpeak(L)-Style Programming Languages , 2014, AGERE!@SPLASH.

[28]  Sophia Drossopoulou,et al.  Deny capabilities for safe, fast actors , 2015, AGERE!@SPLASH.

[29]  Yoav Shoham,et al.  Agent-Oriented Programming , 1992, Artif. Intell..

[30]  Claude Kaiser,et al.  Chameneos, a concurrency game for Java, Ada and others , 2003 .

[31]  Stéphane Galland,et al.  SARL: A General-Purpose Agent-Oriented Programming Language , 2014, 2014 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT).