A framework for organization-aware agents

Open systems are characterized by the presence of a diversity of heterogeneous and autonomous agents that act according to private goals. Organizations, such as those used in real-life to structure human activities such as task allocation, coordination and supervision, can regulate the agents’ behavior space and describe the expected behavior of the agents. Assuming an open environment, where agents are developed independently of the Organizational structures, agents need to be able to reason about the structure, so that they can deliberate about their actions and act within the expected boundaries and work towards the objectives of the organization. In this paper, we present the AORTA reasoning framework and show how it can be integrated into typical BDI-agents. We provide operational semantics that enables agents to make organizational decisions in order to coordinate and cooperate without explicit coordination mechanisms within the agents. The organizational model is independent of that of the agents, and the approach is not tied to a specific organizational model, but uses an organizational metamodel. We show how AORTA helps agents work together in a system with an organization for choosing the best tender for a building project.

[1]  Klaus Waldschmidt,et al.  Architecture of Computing Systems - ARCS 2006 , 2006, Lecture Notes in Computer Science.

[2]  Frank Dignum,et al.  Towards socially sophisticated BDI agents , 2000, Proceedings Fourth International Conference on MultiAgent Systems.

[3]  Roel Wieringa,et al.  Deontic logic in computer science: normative system specification , 1994 .

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

[5]  Lin Padgham,et al.  Formalisations of Capabilities for BDI-Agents , 2005, Autonomous Agents and Multi-Agent Systems.

[6]  Michael Rovatsos,et al.  A Computational Framework for Practical Social Reasoning , 2015, Comput. Intell..

[7]  Anand S. Rao,et al.  AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language , 1996, MAAMAW.

[8]  Frank Dignum,et al.  What's in it for me? Agent deliberation on taking up social roles ⁄ , 2004 .

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

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

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

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

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

[14]  Jørgen Villadsen,et al.  A Framework for Organization-Aware Agents: JAAMAS Extended Abstract , 2016, AAMAS 2016.

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

[16]  Leon van der Torre,et al.  Contextual Deontic Logic: Normative Agents, Violations and Independence , 2004, Annals of Mathematics and Artificial Intelligence.

[17]  Frank Dignum,et al.  A formal semantics for agent (re)organization , 2014, J. Log. Comput..

[18]  Frank Dignum,et al.  Role-assignment in open agent societies , 2003, AAMAS '03.

[19]  Natalia Criado,et al.  Towards a Normative BDI Architecture for Norm Compliance , 2010, MALLOW.

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

[21]  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..

[22]  F. Dignum,et al.  Deliberate Normative Agents: Principles and Architectures , 1999 .

[23]  Jacques Ferber,et al.  From Agents to Organizations: An Organizational View of Multi-agent Systems , 2003, AOSE.

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

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

[26]  F. Dignum,et al.  From Desires, Obligations and Norms to Goals , 2002 .

[27]  Frank Dignum,et al.  Enacting and Deacting Roles in Agent Programming , 2004, AOSE.

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

[29]  N. Belnap,et al.  Facing the Future: Agents and Choices in Our Indeterminist World , 2001 .

[30]  Leon van der Torre,et al.  Contrary‐to‐duty reasoning with preference‐based dyadic obligations , 1999, Annals of Mathematics and Artificial Intelligence.

[31]  Frank Dignum,et al.  Ubi Lex, Ibi Poena : Designing Norm Enforcement in E-Institutions , 2006, COIN@AAMAS/ECAI.

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

[33]  Jørgen Villadsen,et al.  The AORTA Architecture: Integrating Organizational Reasoning in Jason , 2014, EMAS@AAMAS.

[34]  Gordon D. Plotkin,et al.  A structural approach to operational semantics , 2004, J. Log. Algebraic Methods Program..

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

[36]  Philip R. Cohen,et al.  Toward A Formalism for Conversation Protocols Using Joint Intention Theory , 2002, Comput. Intell..

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

[38]  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..

[39]  Martin K. Purvis,et al.  Integrating Expectation Monitoring into BDI Agents , 2011, ProMAS.

[40]  Eugénio C. Oliveira,et al.  An Approach for Virtual Organisations' Dissolution , 2009, COIN@AAMAS&IJCAI&MALLOW.

[41]  Catholijn M. Jonker,et al.  Agreeing on Role Adoption in Open Organisations , 2011, KI - Künstliche Intelligenz.

[42]  Frank Dignum,et al.  Counts-as: Classification or Constitution? An Answer Using Modal Logic , 2006, DEON.

[43]  Mehdi Dastani,et al.  Programming norm-aware agents , 2012, AAMAS.

[44]  Michael Winikoff,et al.  Open Agent Systems??? , 2007, AOSE.

[45]  Marek Sergot,et al.  On the characterization of law and computer systems: the normative systems perspective , 1994 .

[46]  John-Jules Ch. Meyer,et al.  Deontic Logic and Artificial Normative Systems: 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July ... (Lecture Notes in Computer Science) , 2006 .

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