A Context-Based Institutional Normative Environment

We explore the concept of an agent-based Electronic Institution including a normative environment that supports electronic contract formation by providing a contextual normative background. We formalize the normative state using first-order logic and define institutional 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. Norm activation relies on substitution as in first-order logic. Reasoning about the fulfillment and violation of deadline obligations is formalized using linear temporal logic; implementation with institutional rules is discussed. Examples exploiting the normative environment are given.

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

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

[3]  Gerrit De Geest,et al.  Encyclopedia of Law and Economics , 2000 .

[4]  E. Allen Emerson,et al.  Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[5]  Frank Dignum,et al.  Contextual Taxonomies , 2004, CLIMA.

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

[7]  J. Van Leeuwen,et al.  Handbook of theoretical computer science - Part A: Algorithms and complexity; Part B: Formal models and semantics , 1990 .

[8]  Pablo Noriega,et al.  Environment Engineering for Multiagent Systems , 2004 .

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

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

[11]  Jordi Campos Miralles,et al.  Formalising Situatedness and Adaptation in Electronic Institutions , 2009, COIN@AAMAS&AAAI.

[12]  Marina De Vos,et al.  Specifying and Reasoning About Multiple Institutions , 2006, COIN@AAMAS/ECAI.

[13]  Frank Dignum,et al.  Defeasible Reasoning with Legal Rules. , 1996 .

[14]  Guido Boella,et al.  Contracts as legal institutions in organizations of autonomous agents , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

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

[16]  Marek J. Sergot,et al.  A Formal Characterisation of Institutionalised Power , 1996, Log. J. IGPL.

[17]  Frank Dignum,et al.  From Abstract to Concrete Norms in Agent Institutions , 2004, FAABS.

[18]  Pablo Noriega,et al.  Engineering open environments with electronic institutions , 2005, Eng. Appl. Artif. Intell..

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

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

[21]  Vladimir Marik,et al.  Multi-Agent Systems and Applications III , 2003, Lecture Notes in Computer Science.

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

[23]  Olivier Boissier,et al.  Coordination, Organizations, Institutions, and Norms in Agent Systems II - AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006. Revised Selected Papers , 2007, COIN@AAMAS/ECAI.

[24]  Leon van der Torre.  Violated Obligations in a Defeasible Deontic Logic , 1994, ECAI.

[25]  Javier Vázquez-Salceda,et al.  Modelling Electronic Organizations , 2003, CEEMAS.

[26]  Christopher A. Rouff,et al.  Formal Approaches to Agent-Based Systems , 2001, Lecture Notes in Computer Science.

[27]  Eugénio C. Oliveira,et al.  Institutional Reality and Norms: Specifying and Monitoring Agent Organizations , 2022 .

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

[29]  L.W.N. van deTorre.  Violated obligations in a defeasible deontic logic , 1994 .

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

[31]  Pablo Noriega,et al.  Coordination, Organizations, Institutions, and Norms in Agent Systems III, COIN 2007, International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007, COIN@MALLOW 2007, Durham, UK, September 3-4, 2007, Revised Selected Papers , 2008, COIN.

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

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

[34]  Giovanni Sartor,et al.  Normative conflicts in legal reasoning , 1992, Artificial Intelligence and Law.