Norm Adoption and Consistency in the NoA Agent Architecture

The behaviour of a norm-driven agent is governed by obligations, permissions and prohibitions. Agents joining a society or accepting a contract for the purpose of executing specific collaborative tasks usually have to adopt norms representing certain rules and regulations. Adoption of norms can cause problems – an agent maybe already hold norms that would be in conflict or inconsistent with new norms it adopts. How can it be shown that the set of norms is consistent to allow the agent to act according to the ideals that the norms specify? In general, the answer to such a question in a real-world situation is not simple. This paper addresses the problem of finding a pragmatic solution to the problem of norm consistency checking for practical reasoning agents in the context of the NoA Normative Agent Architecture.

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

[2]  Rafael H. Bordini,et al.  Running AgentSpeak(L) Agents on SIM_AGENT , 2001, ATAL.

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

[4]  Martin J. Kollingbaum,et al.  Supervised Interaction - A Form of Contract Management to Create Trust between Agents , 2002, Trust, Reputation, and Security.

[5]  Marek J. Sergot,et al.  A Formal Characterisation of Institutionalised Power , 1996, Log. J. IGPL.

[6]  Y. Shoham.  Introduction to Multi-Agent Systems , 2002 .

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

[8]  Chris Reed,et al.  Delegation and Responsibility , 2000, ATAL.

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

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

[11]  Michael Luck,et al.  Constraining autonomy through norms , 2002, AAMAS '02.

[12]  Marcus J. Huber.  JAM: a BDI-theoretic mobile agent architecture , 1999, AGENTS '99.

[13]  Rino Falcone,et al.  Trust, Reputation, and Security: Theories and Practice , 2003, Lecture Notes in Computer Science.

[14]  Charles L. Forgy,et al.  Rete: a fast algorithm for the many pattern/many object pattern match problem , 1991 .

[15]  Michael Luck,et al.  Engineering AgentSpeak(L): A Formal Computational Model , 1998, J. Log. Comput..

[16]  PachecoOlga,et al.  A Role Based Model for the Normative Specification of Organized Collective Agency and Agents Interaction , 2003 .

[17]  Walter Van de Velde,et al.  Agents Breaking Away , 1996, Lecture Notes in Computer Science.

[18]  Olga Pacheco,et al.  A Role Based Model for the Normative Specification of Organized Collective Agency and Agents Interaction , 2003, Autonomous Agents and Multi-Agent Systems.

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

[20]  Craig A. Knoblock,et al.  PDDL-the planning domain definition language , 1998 .

[21]  Martin J. Kollingbaum,et al.  Supervised interaction: creating a web of trust for contracting agents in electronic environments , 2002, AAMAS '02.

[22]  Derek Long,et al.  Goal Creation in Motivated Agents , 1995, ECAI Workshop on Agent Theories, Architectures, and Languages.

[23]  Michael Luck,et al.  Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems , 2002 .

[24]  Mehdi Dastani,et al.  What Is a Normative Goal?: Towards Goal-Based Normative Agent Architectures , 2002, RASTA.

[25]  Martin J. Kollingbaum,et al.  A Contract Management Framework for Supervised Interaction , 2002 .

[26]  R. James Firby,et al.  An Investigation into Reactive Planning in Complex Domains , 1987, AAAI.

[27]  Timothy J. Norman,et al.  A Contract Management Framework for Supervised Interaction: UKMAS 2002, Liverpool, December 2002 , 2002 .

[28]  Sven Ove Hansson,et al.  Review of Deontic Logic in Computer Science: Normative System Specification, John-Jules Ch. Meyer and Roel J. Wieringa (eds.), John Wiley & Sons, Chichester 1993 , 1994, Bull. IGPL.

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

[30]  Nicholas R. Jennings,et al.  Agent Theories, Architectures, and Languages: A Survey , 1995, ECAI Workshop on Agent Theories, Architectures, and Languages.