Please use this identifier to cite or link to this item:
Title: A controlled language for the specification of contracts
Authors: Pace, Gordon J.
Rosner, Michael
Keywords: Natural language processing (Computer science)
Text processing (Computer science)
Semantics -- Methodology
Formal languages
Deontic logic
Issue Date: 2010
Publisher: Springer-Verlag Berlin
Citation: Pace, G. J., & Rosner, M. (2009). A controlled language for the specification of contracts. Workshop on Controlled Natural Language, CNL 2009, Marettimo Island. 226-245.
Abstract: 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.
Appears in Collections:Scholarly Works - FacICTCS

Files in This Item:
File Description SizeFormat 
A_Controlled_Language_for_the_Specification_of_Con.pdf185.63 kBAdobe PDFView/Open

Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.