Using event semantics for modeling contracts

Currently a number of these on-line support systems for electronic contracting are under development. In this paper we develop a logical formalism to represent the content of business contracts. This formalism can be used to develop applications that can automatically negotiate and process contracts, or it can be used to develop online help systems that explain to the human negotiator what for him the implications are of a certain contract that is proposed to him by the counter-party. The formalism we develop is based upon recent developments in the field of the Formal Language for Business Communication (FLBC) and event semantics. In the paper we show how many key constructs of the content of business contracts can be modeled using event semantics. We also show that the formalism can be implemented in Prolog.

[1]  Yao-Hua Tan,et al.  On Lean Messaging with Unfolding and Unwrapping for Electronic Commerce , 2000, Int. J. Electron. Commer..

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

[3]  Yao-Hua Tan,et al.  On lean messaging with wrapping and unfolding for E-commerce , 1999, Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32. Abstracts and CD-ROM of Full Papers.

[4]  Ronald M. Lee,et al.  A logic model for electronic contracting , 1988, Decis. Support Syst..

[5]  Brian F. Chellas.  Modal Logic: Normal systems of modal logic , 1980 .

[6]  Ronald M. Lee.  Towards Open Electronic Contracting , 1998, Electron. Mark..

[7]  J. Austin.  How to do things with words , 1962 .

[8]  H. Weigand,et al.  Communication and deontic logic , 1995 .

[9]  Yao-Hua Tan,et al.  A logical model of transfer of obligations in trade contracts , 1998 .

[10]  Ronald M. Lee.  Distributed Electronic Trade Scenarios: Representation, Design, Prototyping , 1998, Int. J. Electron. Commer..

[11]  Yao-Hua Tan,et al.  A Logical Model of Directed Obligations and Permissions to Support Electronic Contracting , 1998, Int. J. Electron. Commer..

[12]  Steven Orla Kimbrough,et al.  On automated message processing in electronic commerce and work support systems: speech act theory and expressive felicity , 1997, TOIS.

[13]  Terence Parsons,et al.  Events in the Semantics of English: A Study in Subatomic Semantics , 1990 .

[14]  Peter Schlechtriem,et al.  Uniform sales law : the UN-convention on contracts for the international sale of goods , 1986 .

[15]  Michida shin-ichiro.  United Nations Convention on Contracts for the International Sale of Goods , 1988 .

[16]  Daniel Vanderveken,et al.  Foundations of Illocutionary Logic , 1985 .

[17]  F. Inglis.  How To Do Things With Words. , 1971 .

[18]  Steven Orla Kimbrough.  Sketch of a basic theory for a formal language for business communication , 1998, Proceedings of the Thirty-First Hawaii International Conference on System Sciences.

[19]  Hans Weigand,et al.  Meta-Patterns for Electronic Commerce Transactions Based on the Formal Language for Business Communication (FLBC) , 1998, Int. J. Electron. Commer..

[20]  Scott A. Moore,et al.  Categorizing automated messages , 1998, Decis. Support Syst..