Evidence-Based Electronic Contract Performance Monitoring

One aspect of the development of e-market services for the facilitation of business-to-business electronic commerce concerns the provision of automated support for contract performance assessment. Assessing the parties' performance of an agreement, once it comes into force, requires reasoning with the contract terms (obligations, rights, powers and other legal relations that obtain between parties) as parties go about conducting their business exchange, sometimes complying and sometimes deviating from their pre-agreed prescribed behaviour. Compliance with prescribed behaviour is typically evaluated individually by each partner to an agreement and where parties' views differ, disputes arise that require some form of resolution.In this paper we present a simple architecture for an e-market, where an artificial (controller) agent undertakes such resolution. The controller's decision-making is informed by the agreement and each party's view of whether its own and the counter-party's behaviour comply with it. Thus, the controller forms an opinion on the basis of such evidence (and possible additional recommendations from agents representing the parties), in similar spirit to a (human) judge's process of reasoning in arriving at his ruling. We consider this as a belief formation problem and explore the potential of using subjective reasoning to represent an individual's (possibly partial) views and to reason about their joint conflict and consensus formation. We comment on the relation of such belief formation on the establishment of trust between partners to an agreement and between the latter and the controller of an e-market.

[1]  Glenn Shafer,et al.  A Mathematical Theory of Evidence , 2020, A Mathematical Theory of Evidence.

[2]  John-Jules Ch. Meyer,et al.  A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic , 1987, Notre Dame J. Formal Log..

[3]  José Luiz Fiadeiro,et al.  Temporal reasoning over deontic specifications , 1991, J. Log. Comput..

[4]  Stuart Kent,et al.  Specifying Deontic Behaviour in Modal Action Logic , 1992 .

[5]  Sven Ove Hansson,et al.  Review of Deontic Logic in Computer Science: Normative System Specification, John-Jules Ch. Meyer and Roel J. Wieringa (eds.), John Wiley & Sons, Chichester 1993 , 1994, Bull. IGPL.

[6]  Steven Orla Kimbrough,et al.  Formal Language for Business Communication: Sketch of a Basic Theory , 1998, Int. J. Electron. Commer..

[7]  Winfried Lamersdorf,et al.  Supporting Electronic Commerce Transactions with Contracting Services , 1998, Int. J. Cooperative Inf. Syst..

[8]  Audun J sang,et al.  An Algebra for Assessing Trust in Certi cation Chains , 1998 .

[9]  Zoran Milosevic,et al.  Policies in communities: extending the ODP enterprise viewpoint , 1998, Proceedings Second International Enterprise Distributed Object Computing (Cat. No.98EX244).

[10]  Audun Jøsang,et al.  An Algebra for Assessing Trust in Certification Chains , 1999, NDSS.

[11]  Mark Klein,et al.  An exception-handling architecture for open electronic marketplaces of contract net software agents , 2000, EC '00.

[12]  Aspassia Daskalopulu Modelling legal contracts as processes , 2000, Proceedings 11th International Workshop on Database and Expert Systems Applications.

[13]  Katarina Stanoevska-Slabeva,et al.  Legal Aspects of Electronic Contracts , 2000, ISDO.

[14]  Audun Jøsang,et al.  A Logic for Uncertain Probabilities , 2001, Int. J. Uncertain. Fuzziness Knowl. Based Syst..

[15]  Samuil Angelov,et al.  B2B eContract Handling- A Survey of Projects, Papers and Standards , 2001 .

[16]  Michal Morciniec,et al.  Towards Regulating Electronic Communities with Contracts , 2001 .

[17]  T. S. E. Maibaum,et al.  Towards electronic contract performance , 2001, 12th International Workshop on Database and Expert Systems Applications.

[18]  Marek J. Sergot,et al.  Computational aspects of the FLBC framework , 2002, Decis. Support Syst..

[19]  Benjamin N. Grosof,et al.  Toward a Declarative Language for Negotiating Executable Contracts , 2003 .

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