ALAS: agent-oriented domain-specific language for the development of intelligent distributed non-axiomatic reasoning agents

ABSTRACT This paper presents an extension of the agent-oriented domain-specific language ALAS to support Distributed Non-Axiomatic Reasoning. ALAS is intended for the development of specific kind of intelligent agents. It is designed to support the Siebog Multi-Agent System (MAS) and implementation of the Siebog intelligent agents. Siebog is a distributed MAS based on the modern web and enterprise standards. Siebog offers support to reasoning based on the Distributed Non-Axiomatic Reasoning System (DNARS). DNARS is a reasoning system based on the Non-Axiomatic Logic (NAL). So far, DNARS-enabled agents could be written only in Java programming language. To solve the problem of interoperability and agent mobility within Siebog platforms, the ALAS language has been developed. The goal of such language is to allow programmers to develop intelligent agents easier by using domain specific constructs. The conversion process of ALAS code to Java code is also described in this paper.

[1]  Aruna Raja,et al.  Domain Specific Languages , 2010 .

[2]  Jürgen Dix,et al.  Multi-Agent Programming , 2009, Springer US.

[3]  Chuan-Jun Su,et al.  Building Distributed E-Healthcare for Elderly Using RFID and Multi-Agent , 2011 .

[4]  Andrew W. H. Ip,et al.  Constraint Priority Scheduling Using an Agent-Based Approach , 2010, Ind. Manag. Data Syst..

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

[6]  Frank Dignum,et al.  A Programming Language for Cognitive Agents Goal Directed 3APL , 2003, PROMAS.

[7]  Zoran Budimac,et al.  Siebog: An Enterprise-Scale Multiagent Middleware , 2016, Inf. Technol. Control..

[8]  Cathy H. Y. Lam,et al.  Multi-Agent Modeling in Managing Six Sigma Projects , 2009 .

[9]  Nuno Oliveira,et al.  Comparing general-purpose and domain-specific languages: An empirical study , 2010, Comput. Sci. Inf. Syst..

[10]  Anand S. Rao,et al.  Decision Procedures for BDI Logics , 1998, J. Log. Comput..

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

[12]  Azer Bestavros,et al.  Domain-Specific Language , 2014, Encyclopedia of Social Network Analysis and Mining.

[13]  Mirjana Ivanović,et al.  Extension of Agent-oriented Domain-specific language ALAS as a support to Distributed Non-Axiomatic Reasoning , 2017 .

[14]  Zoran Budimac,et al.  Radigost: Interoperable web-based multi-agent platform , 2014, J. Syst. Softw..

[15]  Jürgen Dix,et al.  Multi-Agent Programming: Languages, Tools and Applications , 2009 .

[16]  S. Rebecca Thomas,et al.  The PLACA Agent Programming Language , 1995, ECAI Workshop on Agent Theories, Architectures, and Languages.

[17]  Sujeet Kumar,et al.  Java Agent Development Framework , 2014 .

[18]  Shuai Zhang,et al.  An agent-based peer-to-peer architecture for semantic discovery of manufacturing services across virtual enterprises , 2015, Enterp. Inf. Syst..

[19]  Vincent Cho,et al.  A Multi Agent Based Model for Airport Service Planning , 2010 .

[20]  Agostino Poggi,et al.  Multiagent Systems , 2006, Intelligenza Artificiale.

[21]  Ellen M. Mitchell,et al.  Aristotle's logic. , 1891 .

[22]  Mirjana Ivanović,et al.  Conversion of the agent-oriented domain-specific language ALAS into JavaScript , 2016 .

[23]  Michael Wooldridge,et al.  Logics for Multiagent Systems , 2012, AI Mag..

[24]  Jan Ladiges,et al.  Programming BDI Agents with Pure Java , 2014, MATES.

[25]  Nicholas R. Jennings,et al.  Intelligent agents: theory and practice , 1995, The Knowledge Engineering Review.

[26]  Pei Wang,et al.  Rigid Flexibility: The Logic of Intelligence , 2006 .

[27]  Michael Wooldridge,et al.  The Belief-Desire-Intention Model of Agency , 1998, ATAL.

[28]  Zoran Budimac,et al.  The Siebog multiagent middleware , 2016, Knowl. Based Syst..

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

[30]  Gordana Milosavljević,et al.  Applang – A DSL for specification of mobile applications for android platform based on textX , 2016 .

[31]  V. Matveenko,et al.  Game equilibria and unification dynamics in networks with heterogeneous agents , 2017 .

[32]  Zoran Budimac,et al.  An overview of agent mobility in heterogeneous environments , 2011, WASA.

[33]  John Mark Bishop,et al.  Philosophy and Theory of Artificial Intelligence , 2013 .

[34]  Harris Wu,et al.  Research on e-commerce transaction networks using multi-agent modelling and open application programming interface , 2010, Enterp. Inf. Syst..

[35]  Rem W. Collier,et al.  Exploring AOP from an OOP perspective , 2015, AGERE!@SPLASH.

[36]  Martin Fowler,et al.  NoSQL Distilled: A Brief Guide to the Emerging World of Polyglot Persistence , 2012 .

[37]  Yves Raimond,et al.  RDF 1.1 Primer , 2014 .

[38]  Huaiqing Wang,et al.  Intelligent agents for adaptive security market surveillance , 2017, Enterp. Inf. Syst..

[39]  Gerhard Weiß,et al.  Agent orientation in software engineering , 2001, The Knowledge Engineering Review.

[40]  Michael Luck,et al.  Agent-Based Software Development , 2004 .

[41]  Marjan Mernik,et al.  Domain-Specific Languages: A Systematic Mapping Study , 2017, SOFSEM.

[42]  Satoru Araki.  FIPA ACL Message Structure Specification , 2000 .

[43]  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).

[44]  Moharram Challenger,et al.  SEA_L: A Domain-specific Language for Semantic Web enabled Multi-agent Systems , 2012, 2012 Federated Conference on Computer Science and Information Systems (FedCSIS).

[45]  Mirjana Ivanović,et al.  Domain specific agent-oriented programming language based on the Xtext framework , 2015 .

[46]  Miloš Simić,et al.  PyTabs: A DSL for simplified music notation , 2015 .

[47]  Gordana Milosavljevic,et al.  Arpeggio: A flexible PEG parser for Python , 2016, Knowl. Based Syst..

[48]  Francisco J. Serón,et al.  Smart tourist information points by combining agents, semantics and AI techniques , 2017, Comput. Sci. Inf. Syst..

[49]  Marjan Mernik,et al.  Domain-Specific Languages: A Systematic Mapping Study , 2016, Inf. Softw. Technol..

[50]  Rem W. Collier,et al.  Reflecting on Agent Programming with AgentSpeak(L) , 2015, PRIMA.

[51]  Pei Wang,et al.  Non-Axiomatic Reasoning System (Version 4.1) , 2000, AAAI/IAAI.

[52]  Pei Wang,et al.  Reasoning in Non-Axiomatic Logic: A Case Study in Medical Diagnosis , 2011, AGI.

[53]  Amal El Fallah Seghrouchni,et al.  Programming mobile intelligent agents: an operational semantics , 2004, Proceedings. IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2004. (IAT 2004)..

[54]  Alexander Serenko,et al.  Intelligent agents as innovations , 2004, AI & SOCIETY.

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

[56]  Pei Wang,et al.  Non-axiomatic reasoning system: exploring the essence of intelligence , 1996 .

[57]  Barbara Messing,et al.  An Introduction to MultiAgent Systems , 2002, Künstliche Intell..

[58]  Amy L. Lansky,et al.  Reactive Reasoning and Planning , 1987, AAAI.

[59]  Dianxiang Xu,et al.  A logic based language for networked agents , 1998, Inf. Softw. Technol..

[60]  Peter Edwards,et al.  Agent-K: An Integration of AOP and KQML , 1994 .

[61]  Andrei Olaru,et al.  S-CLAIM: An Agent-based Programming Language for AmI, A Smart-Room Case Study , 2012, ANT/MobiWIS.

[62]  Sascha Ossowski,et al.  A distributed architecture for real-time evacuation guidance in large smart buildings , 2017, Comput. Sci. Inf. Syst..

[63]  Mirjana Ivanović,et al.  Introducing ALAS: A Novel Agent‐Oriented Programming Language , 2011 .

[64]  Gordana Milosavljevic,et al.  TextX: A Python tool for Domain-Specific Languages implementation , 2017, Knowl. Based Syst..

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

[66]  Moharram Challenger,et al.  A DSL for the development of software agents working within a semantic web environment , 2013, Comput. Sci. Inf. Syst..

[67]  Paulo S. C. Alencar,et al.  A Generative Approach for Multi-agent System Development , 2004, SELMAS.

[68]  Zoran Budimac,et al.  Supporting heterogeneous agent mobility with ALAS , 2012, Comput. Sci. Inf. Syst..

[69]  Shashank Tiwari,et al.  Professional NoSQL , 2011 .

[70]  Doina Caragea,et al.  Graph Databases , 2019, Encyclopedia of Big Data Technologies.

[71]  Hao Luo,et al.  Process and data fragmentation-oriented enterprise network integration with collaboration modelling and collaboration agents , 2015, Enterp. Inf. Syst..

[72]  George Englebretsen,et al.  An Invitation to Formal Reasoning: The Logic of Terms , 2016 .

[73]  Julie A. Adams,et al.  Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence , 2001, AI Mag..

[74]  Agostino Poggi,et al.  Developing Multi-agent Systems with JADE , 2007, ATAL.

[75]  Zoran Budimac,et al.  Extensible Java EE-based Agent Framework in Clustered Environments , 2014, MATES.

[76]  Dušan Okanović,et al.  A Domain-Specific Language for Service Level Agreement Specification , 2015, ICIT 2015.

[77]  Stéphane Galland,et al.  First Comparison of SARL to Other Agent-Programming Languages and Frameworks , 2017, ANT/SEIT.