On Software Complexity of Agent-Oriented Logic Programs: an Empirical Analysis

Recently we have been involved in a number of research activities concerning the application of artificial intelligence programming techniques for the implementation of agent-based programs in different domains. We focused on combining agent-oriented and logic programming, following the knowledge representation and reasoning tradition of classical artificial intelligence. Nevertheless, this work targeted various application domains, including logistics, patrolling games, e-business agents, reinforcement learning, as well as modeling and simulation of dynamic systems. The aim of this paper is to briefly introduce some of our experiences obtained by carrying out these tasks. We highlight the characteristics of agent oriented logic programming in the context of software engineering, and with a focus on formal approaches for software development. The paper briefly reports some of the lessons learnt from the practical application of agent-oriented and logic programming languages including ECLiPSe-CLP and AgentSpeak(L) / Jason. Our main intention is to promote agent-oriented programming based on logical reasoning that is traditionally the focus of artificial intelligence research, from the more pragmatic perspective of software engineering practices. Agent-oriented and logic programming were traditionally promoted by the multi-agent systems and artificial intelligence communities. They are usually associated to artificial intelligence and intelligent agents academic curricula, as well as to research projects in artificial intelligence. Nevertheless, an increasing practical interest in these topics is also manifested inside the software engineering commu-

[1]  Miguel Gómez-Zamalloa,et al.  A Framework for Guided Test Case Generation in Constraint Logic Programming , 2012, LOPSTR.

[2]  Rem W. Collier,et al.  Evaluating Agent-Oriented Programs: Towards Multi-paradigm Metrics , 2010, ProMAS.

[3]  J. Doyle,et al.  IBIS: an Interactive Bytecode Inspection System, using symbolic execution and constraint logic programming , 2003, PPPJ.

[4]  Christophe Meudec ATGen: automatic test data generation using constraint logic programming and symbolic execution † , 2001, Softw. Test. Verification Reliab..

[5]  Maria Ganzha,et al.  Software Metrics for Agent Technologies and Possible Educational Usage , 2016, SQAMIA.

[6]  Costin Badica,et al.  Integration of Jason Reinforcement Learning Agents into an Interactive Application , 2017, 2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC).

[7]  Yoav Shoham,et al.  Essentials of Game Theory: A Concise Multidisciplinary Introduction , 2008, Essentials of Game Theory: A Concise Multidisciplinary Introduction.

[8]  Hector J. Levesque,et al.  Thinking as Computation: A First Course , 2012 .

[9]  Costin Badica,et al.  Modeling and Enactment of Business Agents Using Jason , 2016, SETN.

[10]  Costin Badica,et al.  A Formal Model of Patrolling Game and its Agent-Based Simulation Using Jason , 2017, 2017 25th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP).

[11]  Florin Leon,et al.  Freight transportation broker agent based on constraint logic programming , 2018, Evol. Syst..

[12]  Trevor T. Moores Applying complexity measures to rule-based prolog programs , 1998, J. Syst. Softw..

[13]  Kish Shen,et al.  Under consideration for publication in Theory and Practice of Logic Programming , 2003 .

[14]  Ching Y. Suen,et al.  Measuring the complexity of rule-based expert systems , 1994 .

[15]  Natarajan Shankar,et al.  Software engineering and automated deduction , 2014, FOSE.

[16]  Zoran Budimac,et al.  Software agents: Languages, tools, platforms , 2011, Comput. Sci. Inf. Syst..

[17]  Costin Badica,et al.  An Approach of Temporal Difference Learning Using Agent-Oriented Programming , 2015, 2015 20th International Conference on Control Systems and Computer Science.

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

[19]  Ricardo Aler,et al.  SOFTWARE AND PERFORMANCE MEASURES FOR EVALUATING MULTI-AGENT FRAMEWORKS , 2005, Appl. Artif. Intell..

[20]  James V. Hansen,et al.  Model checking for E-business control and assurance , 2005, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[21]  Costin Badica,et al.  Multi‐agent modelling and simulation of graph‐based predator–prey dynamic systems: A BDI approach , 2018, Expert Syst. J. Knowl. Eng..

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

[23]  Kalliopi Kravari,et al.  A Survey of Agent Platforms , 2015, J. Artif. Soc. Soc. Simul..

[24]  Richard S. Sutton,et al.  Reinforcement Learning: An Introduction , 1998, IEEE Trans. Neural Networks.