Constraint rule-based programming of norms for electronic institutions

Norms constitute a powerful coordination mechanism among heterogeneous agents. In this paper, we propose a rule language 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 to supplement (and implement) electronic institutions with norms. We also show how some normative aspects are given computational interpretation.

[1]  Rob Pooley,et al.  The unified modelling language , 1999, IEE Proc. Softw..

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

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

[4]  Barr and Feigenbaum Edward A. Avron,et al.  The Handbook of Artificial Intelligence , 1981 .

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

[6]  Marc Esteva,et al.  MASFIT: Multi-Agent System for Flsh Trading , 2004, ECAI.

[7]  Guido Boella,et al.  Permissions and obligations in hierarchical normative systems , 2003, ICAIL.

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

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

[10]  Michael Wooldridge,et al.  Rapid Prototyping of Large Multi-Agent Systems Through Logic Programming , 2004, Annals of Mathematics and Artificial Intelligence.

[11]  Ken Arnold,et al.  The Java Programming Language , 1996 .

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

[13]  David C. Parkes,et al.  Specifying and monitoring market mechanisms using rights and obligations , 2004, AAMAS'04.

[14]  Martin J. Kollingbaum,et al.  Norm-governed practical reasoning agents , 2005 .

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

[16]  D. North.  Institutions, Institutional Change and Economic Performance: Economic performance , 1990 .

[17]  Max J. Cresswell,et al.  A New Introduction to Modal Logic , 1998 .

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

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

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

[21]  Hans Weigand,et al.  Formal Specification of Interaction in Agent Societies , 2002, FAABS.

[22]  Thomas Wallgren,et al.  Georg Henrik von Wright , 2003 .

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

[24]  Cristiano Castelfranchi,et al.  Norms as Mental Objects - From Normative Beliefs to Normative Goals , 1993, MAAMAW.

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

[26]  Patrice Enjalbert,et al.  Norms and time in agent-based systems , 2001, ICAIL '01.

[27]  Wamberto Weber Vasconcelos,et al.  A rule-based approach to norm-oriented programming of electronic institutions , 2006, SECO.

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

[29]  Michael Wooldridge,et al.  Understanding the Emergence of Conventions in Multi-Agent Systems , 1995, ICMAS.

[30]  Yoav Shoham,et al.  Agent-Oriented Programming , 1992, Artif. Intell..

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

[32]  Wamberto Weber Vasconcelos,et al.  Norm-oriented programming of electronic institutions , 2006, AAMAS '06.

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

[34]  Olivier Boissier,et al.  S-MOISE+: A Middleware for Developing Organised Multi-agent Systems , 2005, AAMAS Workshops.

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

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

[37]  Mairi McCallum,et al.  MOCHA : modelling organisational change using agents , 2006 .

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

[39]  Martin J. Kollingbaum,et al.  NoA - A Normative Agent Architecture , 2003, IJCAI.

[40]  R. M. Hare,et al.  Norm and Action: A Logical Enquiry. , 1965 .

[41]  Peter Szolovits,et al.  What Is a Knowledge Representation? , 1993, AI Mag..

[42]  Marco Colombetti,et al.  A Communicative Act Library in the context of Artificial Institutions , 2004 .

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

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

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

[46]  Wamberto Weber Vasconcelos,et al.  Norm-oriented programming of electronic institutions , 2006, AAMAS '06.

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

[48]  Edinburgh , 1875 .

[49]  Marek J. Sergot,et al.  A logic-based calculus of events , 1989, New Generation Computing.

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

[51]  Peter Tyson,et al.  Artificial societies , 1997 .

[52]  Andrea Omicini,et al.  Declarative Agent Languages and Technologies III , 2005, Lecture Notes in Computer Science.

[53]  C. Habel,et al.  Language , 1931, NeuroImage.

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

[55]  Krzysztof R. Apt,et al.  From logic programming to Prolog , 1996, Prentice Hall International series in computer science.

[56]  C. E. Alchourrón,et al.  The Expressive Conception of Norms , 1981 .

[57]  N. Gilbert,et al.  Artificial Societies: The Computer Simulation of Social Life , 1995 .

[58]  Juan Antonio Rodriguez,et al.  On the Design and Construction of Agent-mediated Electronic Institutions , 2001 .

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

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

[61]  Michael J. Maher,et al.  The Semantics of Constraint Logic Programs , 1998, J. Log. Program..

[62]  Arthur B. Markman,et al.  Knowledge Representation , 1998 .

[63]  Martin J. Kollingbaum,et al.  Norm adoption in the NoA agent architecture , 2003, AAMAS '03.

[64]  Edward P. K. Tsang,et al.  Foundations of constraint satisfaction , 1993, Computation in cognitive science.

[65]  Peter J. Stuckey,et al.  Programming with Constraints: An Introduction , 1998 .

[66]  Michael Luck,et al.  A Model of Normative Multi-agent Systems and Dynamic Relationships , 2002, RASTA.