Directed Deadline Obligations in Agent-Based Business Contracts

There are B2B relationships that presume cooperation in contract enactment. This issue should be taken into account when modeling, for computational handling, contractual commitments through obligations. Deadline obligations have been modeled by considering that reaching the deadline without compliance brings up a violation. When modeling commitments in business contracts, directed obligations have been studied for identifying two agents: the obligation's bearer and the counterparty, who may claim for legal action in case of non-compliance. We argue in favor of a directed deadline obligation approach, taking inspiration on international legislation over trade procedures. Our proposal to model contractual obligations is based on authorizations granted in specific states of an obligation lifecycle model, which we formalize using temporal logic and implement in a rule-based system. The performance of a contractual relationship is supported by a model of flexible deadlines, which allow for further cooperation between autonomous agents. As a result, the decision-making space of agents concerning contractual obligations is enlarged and becomes richer. We discuss the issues that agents should take into account in this extended setting.

[1]  Carles Sierra,et al.  Agent-Mediated Electronic Commerce , 2004, Autonomous Agents and Multi-Agent Systems.

[2]  Brahim Chaib-draa,et al.  Modelling Flexible Social Commitments and Their Enforcement , 2004, ESAW.

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

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

[5]  Marc Esteva,et al.  On the Formal Specifications of Electronic Institutions , 2001, AgentLink.

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

[7]  Marc Esteva,et al.  On the formal specification of electronic institutions , 2001 .

[8]  Guido Boella,et al.  A Game-Theoretic Approach to Normative Multi-Agent Systems , 2007, Normative Multi-agent Systems.

[9]  Munindar P. Singh,et al.  Checking correctness of business contracts via commitments , 2008, AAMAS.

[10]  Mathias Sallé,et al.  Electronic Contract Framework for Contractual Agents , 2002, Canadian Conference on AI.

[11]  Peter Haddawy,et al.  Utility Models for Goal‐Directed, Decision‐Theoretic Planners , 1998, Comput. Intell..

[12]  Frank Dignum,et al.  Designing a Deontic Logic of Deadlines , 2004, DEON.

[13]  J. van Leeuwen,et al.  Engineering Societies in the Agents World II , 2001, Lecture Notes in Computer Science.

[14]  F. Dignum,et al.  Agent Mediated Electronic Commerce: The European AgentLink Perspective , 2001 .

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

[16]  Guido Boella,et al.  An Attacker Model for Normative Multi-agent Systems , 2007, CEEMAS.

[17]  Feng Wan,et al.  Formalizing and achieving multiparty agreements via commitments , 2005, AAMAS '05.

[18]  Felix A. Fischer,et al.  An integrated framework for adaptive reasoning about conversation patterns , 2005, AAMAS '05.

[19]  Paul McNamara,et al.  Deontic logic , 2006, Logic and the Modalities in the Twentieth Century.

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

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

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

[23]  Yao-Hua Tan,et al.  Modeling directed obligations and permissions in trade contracts , 1998, Proceedings of the Thirty-First Hawaii International Conference on System Sciences.

[24]  Christen Krogh,et al.  Obligations directed from bearers to counterparts , 1995, ICAIL '95.