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.

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

[2]  Michael Gelfond,et al.  Representing Action and Change by Logic Programs , 1993, J. Log. Program..

[3]  Wamberto Weber Vasconcelos,et al.  Norm Verification and Analysis of Electronic Institutions , 2004, DALT.

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

[5]  Marina De Vos,et al.  Specifying and Analysing Agent-based Social Institutions using Answer Set Programming , 2005, EUMAS.

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

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

[8]  Marco Colombetti,et al.  An Event Driven Approach to Norms in Artificial Institutions , 2005, AAMAS Workshops.

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

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

[11]  Michael J. Maher,et al.  Constraint Logic Programming: A Survey , 1994, J. Log. Program..

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

[13]  Eugénio C. Oliveira,et al.  Towards an Institutional Environment Using Norms for Contract Performance , 2005, CEEMAS.

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

[15]  Chitta Baral,et al.  Knowledge Representation, Reasoning and Declarative Problem Solving , 2003 .

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

[17]  Javier Vázquez-Salceda,et al.  Implementing Norms in Multiagent Systems , 2004, MATES.

[18]  Fabiola López y López,et al.  Social power and norms : impact on agent behaviour , 2003 .

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

[20]  Barbara Messing,et al.  An Introduction to MultiAgent Systems , 2002, Künstliche Intell..

[21]  Stephen Cranefield,et al.  A rule language for modelling and monitoring social expectations in multi-agent systems , 2005, IJCAI.

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

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

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