A Controlled Language for the Specification of Contracts

Controlled natural languages have been used to enable the direct translation from natural language specifications into a formal description. In this paper we make a case for such an approach to write contracts, and translating into a temporal deontic logic. Combining both temporal behaviour and deontic behaviour is challenging both from a natural language and a formal logic perspective. We present both a logic and a controlled natural language and outline how the two can be linked.

[1]  Ehud Reiter,et al.  Book Reviews: Building Natural Language Generation Systems , 2000, CL.

[2]  Gordon J. Pace,et al.  Challenges in the Specification of Full Contracts , 2009, IFM.

[3]  Robert Dale,et al.  Building Natural Language Generation Systems (Studies in Natural Language Processing) , 2006 .

[4]  Mary Sheeran,et al.  Functional Hardware Description in Lava , 2003 .

[5]  Peyton Jones,et al.  Haskell 98 language and libraries : the revised report , 2003 .

[6]  Paul Caspi,et al.  Timed regular expressions , 2002, JACM.

[7]  Paul Hudak,et al.  Modular domain specific languages and tools , 1998, Proceedings. Fifth International Conference on Software Reuse (Cat. No.98TB100203).

[8]  Bernard Vauquois,et al.  A survey of formal grammars and algorithms for recognition and transformation in mechanical translation , 1968, IFIP Congress.

[9]  Paul Hudak,et al.  Building domain-specific embedded languages , 1996, CSUR.

[10]  Kaarel Kaljurand,et al.  Attempto Controlled English for Knowledge Representation , 2008, Reasoning Web.

[11]  Robert Dale,et al.  Building Natural Language Generation Systems: Figures , 2000 .

[12]  Christian Johansen,et al.  A Formal Language for Electronic Contracts , 2007, FMOODS.

[13]  Gordon J. Pace,et al.  Model Checking Contracts - A Case Study , 2007, ATVA.

[14]  Stephen Pulman,et al.  Controlled Language for Knowledge Representation , 1996 .

[15]  Varol Akman,et al.  Book Review -- Hans Kamp and Uwe Reyle, From Discourse to Logic: Introduction to Model-theoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory , 1995 .

[16]  Uwe Reyle,et al.  From Discourse to Logic - Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory , 1993, Studies in linguistics and philosophy.

[17]  J-J.Ch. Meyer,et al.  The Paradoxes of Deontic Logic Revisited: A Computer Science Perspective (Or: Should computer scientists be bothered by the concerns of philosophers?) , 1994 .

[18]  N. Curteanu.  Book Reviews: Lecture on Contemporary Syntactic Theories: An Introduction to Unification-Based Approaches to Grammar , 1987, CL.

[19]  Simon L. Peyton Jones,et al.  Composing contracts: an adventure in financial engineering (functional pearl) , 2000, ICFP '00.