The AORTA Architecture: Integrating Organizational Reasoning in Jason

Open systems are characterized by a diversity of heterogeneous and autonomous agents that act according to private goals, and with a behavior that is hard to predict. They can be regulated through organizations similar to human organizations, which regulate the agents' behavior space and describe the expected behavior of the agents. Agents need to be able to reason about the regulations, so that they can act within the expected boundaries and work towards the objectives of the organization. In this paper, we propose the AORTA1 architecture for making agents organization-aware. It is designed such that it provides organizational reasoning capabilities to agents implemented in existing agent programming languages without being tied to a specific organizational model. We show how it can be integrated in the Jason agent programming language, and discuss how the agents can coordinate their organizational tasks using AORTA.

[1]  Carlos José Pereira de Lucena,et al.  A UML based approach for modeling and implementing multi-agent systems , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[2]  Giovanni Rimassa,et al.  BDI-agents for agile goal-oriented business processes , 2008, AAMAS.

[3]  Michael Winikoff,et al.  Engineering Multi-Agent Systems , 2013, Lecture Notes in Computer Science.

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

[5]  Marc Esteva,et al.  ISLANDER: an electronic institutions editor , 2002, AAMAS '02.

[6]  Jan Mendling,et al.  From business process models to process-oriented software systems , 2009, TSEM.

[7]  Catholijn M. Jonker,et al.  Programming Role Enactment through Reflection , 2011, 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology.

[8]  Michael Wooldridge,et al.  On the logic of cooperation and propositional control , 2005, Artif. Intell..

[9]  Marco Lützenberger,et al.  Integrating process modelling into multi-agent system engineering , 2012, Multiagent Grid Syst..

[10]  Andrzej Szalas,et al.  Modeling and Reasoning with Paraconsistent Rough Sets , 2009, Fundam. Informaticae.

[11]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[12]  Munindar P. Singh,et al.  Designing and executing protocols using the event calculus , 2001, AGENTS '01.

[13]  Kai Jander,et al.  Unifying Agent and Component Concepts: Jadex Active Components , 2010, MATES.

[14]  Olivier Boissier,et al.  Using Social Power to Enable Agents to Reason About Being Part of a Group , 2004, ESAW.

[15]  Olivier Boissier,et al.  Organisational Reasoning Agents , 2013 .

[16]  Andreas Schmidt Jensen,et al.  Deciding between Conflicting Influences , 2013, EMAS@AAMAS.

[17]  Andrzej Szalas,et al.  How an agent might think , 2013, Log. J. IGPL.

[18]  Jan C. Recker,et al.  BPMN Modeling - Who, Where, How and Why , 2008 .

[19]  Catholijn M. Jonker,et al.  Joint Activity Testbed: Blocks World for Teams (BW4T) , 2009, ESAW.

[20]  Andreas Schmidt Jensen,et al.  AORTA: adding organizational reasoning to agents , 2014, AAMAS.

[21]  Edwin D. Mares,et al.  A Paraconsistent Theory Of Belief Revision , 2002 .

[22]  M. V. Dignum,et al.  Dimensions of Organizational Coordination , 2013, BNAIC 2013.

[23]  Flavien Balbo,et al.  Regulated multi-party communications and context awareness through the environment , 2009, Multiagent Grid Syst..

[24]  Olivier Boissier,et al.  Developing organised multiagent systems using the MOISE+ model: programming issues at the system and agent levels , 2007, Int. J. Agent Oriented Softw. Eng..

[25]  Nicholas R. Jennings,et al.  Intelligent Agents VI , 2000 .

[26]  J. van Leeuwen,et al.  Engineering Societies in the Agents World II , 2001, Lecture Notes in Computer Science.

[27]  Giacomo Cabri,et al.  Connecting methodologies and infrastructures in the development of agent systems , 2008, 2008 International Multiconference on Computer Science and Information Technology.

[28]  Nicholas R. Jennings,et al.  The Gaia Methodology for Agent-Oriented Analysis and Design , 2000, Autonomous Agents and Multi-Agent Systems.

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

[30]  Mehdi Dastani,et al.  The BOID architecture: conflicts between beliefs, obligations, intentions and desires , 2001, AGENTS '01.

[31]  Munindar P. Singh,et al.  Commitment Machines , 2001, ATAL.

[32]  Marc Esteva,et al.  AMELI: an agent-based middleware for electronic institutions , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[33]  Jörg P. Müller,et al.  Agent UML: A Formalism for Specifying Multiagent Software Systems , 2001, Int. J. Softw. Eng. Knowl. Eng..

[34]  Kwang Mong Sim,et al.  Epistemic logic and logical omniscience: A survey , 1997, Int. J. Intell. Syst..

[35]  Koen V. Hindriks,et al.  Programming Organization-Aware Agents , 2009, ESAW.

[36]  Frank Dignum,et al.  Deliberative Normative Agents: Principles and Architecture , 1999, ATAL.

[37]  Illah R. Nourbakhsh,et al.  Human-robot teaming for search and rescue , 2005, IEEE Pervasive Computing.

[38]  Federico Bergenti,et al.  Enacting BPM-oriented Workflows with Wade , 2011, WOA.

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

[40]  M. V. Dignum,et al.  A Model for Organizational Interaction: based on Agents, founded in Logic , 2000 .

[41]  Munindar P. Singh.  Information-driven interaction-oriented programming: BSPL, the blindingly simple protocol language , 2011, AAMAS.

[42]  Olivier Boissier,et al.  Instrumenting multi-agent organisations with organisational artifacts and agents , 2010, Autonomous Agents and Multi-Agent Systems.

[43]  Robert C. Moore.  Possible-World Semantics for Autoepistemic Logic , 1987, NMR.

[44]  Monique Calisti,et al.  Goal-Oriented Autonomic Process Modeling and Execution for Next Generation Networks , 2008, MACE.

[45]  Jomi F. Hübner,et al.  A Unified Interaction Model with Agent , Organization , and Environment , 2012 .

[46]  Donald Nute,et al.  Defeasible Logic , 1994, INAP.

[47]  Agostino Poggi,et al.  Jade - a fipa-compliant agent framework , 1999 .

[48]  Sahin Albayrak,et al.  Mapping BPMN to Agents : An Analysis , 2007 .

[49]  G. Priest.  Paraconsistent Belief Revision , 2008 .

[50]  Giovanni Caire,et al.  Wolf – An Eclipse Plug-In for WADE , 2008, 2008 IEEE 17th Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises.

[51]  Giovanni Caire,et al.  WADE: a software platform to develop mission critical applications exploiting agents and workflows , 2008, AAMAS.

[52]  Andrea Omicini,et al.  CArtAgO: An infrastructure for engineering computational environments in MAS , 2006, AAMAS 2006.

[53]  Frank Dignum,et al.  A logic of agent organizations , 2012, Log. J. IGPL.

[54]  Jan Keiser,et al.  A Multi-agent Approach to Professional Software Engineering , 2013, EMAS@AAMAS.

[55]  Winfried Lamersdorf,et al.  Go4Flex: Goal-Oriented Process Modelling , 2010, IDC.

[56]  Hannu Nurmi,et al.  Voting procedures under uncertainty , 2002 .

[57]  Michael Wooldridge,et al.  On the complexity of practical ATL model checking , 2006, AAMAS '06.

[58]  Tobias Küster,et al.  Towards Transformations from BPMN to Heterogeneous Systems , 2008, Business Process Management Workshops.

[59]  Munindar P. Singh,et al.  Reasoning about Commitments in the Event Calculus: An Approach for Specifying and Executing Protocols , 2004, Annals of Mathematics and Artificial Intelligence.

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

[61]  Remco M. Dijkman,et al.  Semantics and analysis of business process models in BPMN , 2008, Inf. Softw. Technol..