Programming Normative Artifacts with Declarative Obligations and Prohibitions

Abstract—Normative concepts (e.g., obligations and prohibitions) are seen as a suitable tool for regulating the observable behavior of software agents. An enforcement mechanism – a process that detects when a norm is active, detects violations of the norms and handles these violations – is crucial for the practical use of norms in the construction of multi-agent systems. We propose a programming language for programming normative artifacts in terms of “declarative” norms referring to a state of the world (as opposed to “procedural” norms only referring to actions), and introduce the operational semantics of the norm enforcement mechanism.

[1]  Victoria Ungureanu,et al.  Law-governed interaction: a coordination and control mechanism for heterogeneous distributed systems , 2000, TSEM.

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

[3]  Frank Dignum,et al.  Autonomous agents with norms , 1999, Artificial Intelligence and Law.

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

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

[6]  Javier Vázquez-Salceda,et al.  From human regulations to regulated software agents’ behavior , 2008, Artificial Intelligence and Law.

[7]  Henry Prakken,et al.  Contrary-to-duty obligations , 1996, Stud Logica.

[8]  Pablo Noriega,et al.  Implementing norms in electronic institutions , 2005, AAMAS '05.

[9]  Marek J. Sergot,et al.  The Deontic Component of Action Language nC+ , 2006, DEON.

[10]  Rafael H. Bordini,et al.  Multi-Agent Programming: Languages, Platforms and Applications , 2005, Multi-Agent Programming.

[11]  Edgar A. Whitley,et al.  The Construction of Social Reality , 1999 .

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

[13]  Eugénio C. Oliveira,et al.  Electronic institutions for B2B: dynamic normative environments , 2008, Artificial Intelligence and Law.

[14]  Marco Colombetti,et al.  Specifying and Enforcing Norms in Artificial Institutions , 2008, EUMAS.

[15]  Frank Dignum,et al.  Meeting the Deadline: Why, When and How , 2004, FAABS.

[16]  Mehdi Dastani,et al.  Roles and norms for programming agent organizations , 2009, AAMAS.

[17]  Mehdi Dastani,et al.  A Programming Language for Normative Multi-Agent Systems , 2009, Handbook of Research on Multi-Agent Systems.

[18]  Viviane Torres da Silva,et al.  From the specification to the implementation of norms: an automatic approach to generate rules from norms to govern the behavior of agents , 2008, Autonomous Agents and Multi-Agent Systems.

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

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

[21]  Guido Boella,et al.  Reasoning about Constitutive Norms, Counts-As Conditionals, Institutions, Deadlines and Violations , 2008, PRIMA.

[22]  Michael Luck,et al.  A normative framework for agent-based systems , 2006, Comput. Math. Organ. Theory.