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:
Main Authors: | , , , |
---|---|
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 |