Towards CNL-based verbalization of computational contracts

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:
Domain specific language
Rules as code
Computational Law
Contracts
Computer Law
Numerical Analysis and Computation
Rule of Law
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
Description
Summary: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.

Similar Items