Norm Defeasibility in an Institutional Normative Framework

Normative environments have been proposed to regulate agent interaction in open multi-agent systems. However, most approaches rely on pre-imposed regulations that agents are subject to. Taking a different stance, we focus on a normative framework that assists agents in establishing by themselves their own commitment norms. With that aim in mind, a model of norm defeasibility is presented that enables exploiting and adapting a normative background to different extents. We formalize the normative state using first-order logic and define rules and norms operating on that state. A suitable semantics regarding the use of norms within a hierarchical context structure is given, based on norm activation conflict and defeasibility.

[1]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[2]  Guido Governatori,et al.  Representing business contracts in RuleML , 2005, Int. J. Cooperative Inf. Syst..

[3]  Alexander Artikis,et al.  Animated specifications of computational societies , 2002, AAMAS '02.

[4]  Pablo Noriega,et al.  An Algorithm for Conflict Resolution in Regulated Compound Activities , 2006, ESAW.

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

[6]  Donald Nute,et al.  Defeasible Deontic Logic , 2010 .

[7]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[8]  Richard Craswell.  CONTRACT LAW: GENERAL THEORIES , 2000 .

[9]  Eugénio C. Oliveira,et al.  A Context-Based Institutional Normative Environment , 2009, COIN@AAMAS&AAAI.

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

[11]  Eugénio C. Oliveira,et al.  A Contract Model for Electronic Institutions , 2007, COIN.

[12]  Young U. Ryu.  Relativized deontic modalities for contractual obligations in formal business communication , 1997, Proceedings of the Thirtieth Hawaii International Conference on System Sciences.

[13]  F. Dignum.  Abstract Norms and Electronic Institutions , 2002 .

[14]  Benjamin N. Grosof.  Representing e-commerce rules via situated courteous logic programs in RuleML , 2004, Electron. Commer. Res. Appl..

[15]  Sandip Sen,et al.  Emergence of Norms through Social Learning , 2007, IJCAI.

[16]  Dov M. Gabbay,et al.  Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning , 1994 .

[17]  Donald Nute,et al.  Defeasible Logic , 1994, INAP.

[18]  Aspassia Daskalopulu,et al.  Defeasible Reasoning with e-Contracts , 2006, 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology.

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

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