Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/22732
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. |
URI: | https://www.um.edu.mt/library/oar//handle/123456789/22732 |
Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
A_Controlled_Language_for_the_Specification_of_Con.pdf | 185.63 kB | Adobe PDF | View/Open |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.