An end-to-end pipeline from law text to logical formulas

We propose a pipeline for converting natural English law texts into logical formulas via a series of structural representations. Text texts are first parsed using a formal grammar derived from light-weight annotations. An intermediate representation called assembly logic is then used for logical int...

Full description

Saved in:
Bibliographic Details
Main Authors: RANTA, Aarne, LISTENMAA, Inari, SOH, Jerrold, WONG, Meng Weng (HUANG Mingrong)
Format: text
Language:English
Published: Institutional Knowledge at Singapore Management University 2022
Subjects:
Online Access:https://ink.library.smu.edu.sg/sol_research/4041
https://ink.library.smu.edu.sg/context/sol_research/article/5999/viewcontent/An_End_to_End_Pipeline_from_Law_Text_to_Logical_Formulas.pdf
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Singapore Management University
Language: English