A rule-based approach to norm-oriented programming of electronic institutions

Norms constitute a powerful coordination mechanism among heterogeneous agents. We propose means to specify and explicitly manage the normative positions of agents (permissions, prohibitions and obligations), with which distinct deontic notions and their relationships can be captured. Our rule-based formalism includes constraints for more expressiveness and precision and allows the norm-oriented programming of electronic institutions: normative aspects are given a precise computational interpretation. Our formalism has been conceived as a machine language to which other higher-level normative languages can be mapped, allowing their execution, as we illustrate with a selection of examples from the literature.

[1]  Fabiola. LoÌpez y LoÌpez.  Social power and norms : impact on agent behaviour , 2003 .

[2]  Wamberto Weber Vasconcelos,et al.  A Distributed Architecture for Norm-Aware Agent Societies , 2005, DALT.

[3]  S. Rosenschein,et al.  On social laws for artificial agent societies: off-line design , 1996 .

[4]  Pablo Noriega,et al.  Agent-mediated auctions: the fishmarket metaphor , 1997 .

[5]  Melvin Fitting,et al.  First-Order Logic and Automated Theorem Proving , 1990, Graduate Texts in Computer Science.

[6]  Michael Wooldridge,et al.  Introduction to multiagent systems , 2001 .

[7]  Nicholas R. Jennings,et al.  A Roadmap of Agent Research and Development , 2004, Autonomous Agents and Multi-Agent Systems.

[8]  Moshe Tennenholtz,et al.  On Social Laws for Artificial Agent Societies: Off-Line Design , 1995, Artif. Intell..

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

[10]  R. Axelrod,et al.  The Complexity of Cooperation: Agent-Based Models of Competition and Collaboration , 1998 .

[11]  A. Koller,et al.  Speech Acts: An Essay in the Philosophy of Language , 1969 .

[12]  Alexander Artikis,et al.  A Protocol for Resource Sharing in Norm-Governed Ad Hoc Networks , 2004, DALT.

[13]  Pablo Cayetano Noriega Blanco-Vigil.  Agent mediated auctions: the fishmarket metaphor , 1998 .

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

[15]  A. Colman,et al.  The complexity of cooperation: Agent-based models of competition and collaboration , 1998, Complex..

[16]  R. Axelrod.  Reviews book & software , 2022 .

[17]  Marek Sergot,et al.  A computational theory of normative positions , 2001, ACM Trans. Comput. Log..

[18]  M. Fitting.  First-order logic and automated theorem proving (2nd ed.) , 1996 .