Towards CNL-based verbalization of computational contracts

We present a CNL, which is a component of L4, a domain-specific programming language for drafting laws and contracts. Along with formal verification, L4’s core functionalities include natural language generation. We present the NLG pipeline and an interactive process for ambiguity resolution.

Saved in:
Bibliographic Details
Main Authors: LISTENMAA, Inari, HANAFIAH, Maryam, CHEONG, Regina, KALLBERG, Andreas
Format: text
Language:English
Published: Institutional Knowledge at Singapore Management University 2021
Subjects:
Online Access:https://ink.library.smu.edu.sg/cclaw/2
https://ink.library.smu.edu.sg/context/cclaw/article/1001/viewcontent/Towards_CNL_based_verbalization_of_computational_contracts.pdf
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Singapore Management University
Language: English
id sg-smu-ink.cclaw-1001
record_format dspace
spelling sg-smu-ink.cclaw-10012022-09-12T02:48:20Z Towards CNL-based verbalization of computational contracts LISTENMAA, Inari HANAFIAH, Maryam CHEONG, Regina KALLBERG, Andreas We present a CNL, which is a component of L4, a domain-specific programming language for drafting laws and contracts. Along with formal verification, L4’s core functionalities include natural language generation. We present the NLG pipeline and an interactive process for ambiguity resolution. 2021-09-01T07:00:00Z text application/pdf https://ink.library.smu.edu.sg/cclaw/2 https://ink.library.smu.edu.sg/context/cclaw/article/1001/viewcontent/Towards_CNL_based_verbalization_of_computational_contracts.pdf http://creativecommons.org/licenses/by/4.0/ Centre for Computational Law eng Institutional Knowledge at Singapore Management University Domain specific language Rules as code Computational Law Contracts Computer Law Contracts Numerical Analysis and Computation Rule of Law
institution Singapore Management University
building SMU Libraries
continent Asia
country Singapore
Singapore
content_provider SMU Libraries
collection InK@SMU
language English
topic Domain specific language
Rules as code
Computational Law
Contracts
Computer Law
Contracts
Numerical Analysis and Computation
Rule of Law
spellingShingle Domain specific language
Rules as code
Computational Law
Contracts
Computer Law
Contracts
Numerical Analysis and Computation
Rule of Law
LISTENMAA, Inari
HANAFIAH, Maryam
CHEONG, Regina
KALLBERG, Andreas
Towards CNL-based verbalization of computational contracts
description We present a CNL, which is a component of L4, a domain-specific programming language for drafting laws and contracts. Along with formal verification, L4’s core functionalities include natural language generation. We present the NLG pipeline and an interactive process for ambiguity resolution.
format text
author LISTENMAA, Inari
HANAFIAH, Maryam
CHEONG, Regina
KALLBERG, Andreas
author_facet LISTENMAA, Inari
HANAFIAH, Maryam
CHEONG, Regina
KALLBERG, Andreas
author_sort LISTENMAA, Inari
title Towards CNL-based verbalization of computational contracts
title_short Towards CNL-based verbalization of computational contracts
title_full Towards CNL-based verbalization of computational contracts
title_fullStr Towards CNL-based verbalization of computational contracts
title_full_unstemmed Towards CNL-based verbalization of computational contracts
title_sort towards cnl-based verbalization of computational contracts
publisher Institutional Knowledge at Singapore Management University
publishDate 2021
url https://ink.library.smu.edu.sg/cclaw/2
https://ink.library.smu.edu.sg/context/cclaw/article/1001/viewcontent/Towards_CNL_based_verbalization_of_computational_contracts.pdf
_version_ 1770567702541238272