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...
Saved in:
| Main Authors: | , , , |
|---|---|
| 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 |
| id |
sg-smu-ink.sol_research-5999 |
|---|---|
| record_format |
dspace |
| spelling |
sg-smu-ink.sol_research-59992023-02-20T07:29:20Z An end-to-end pipeline from law text to logical formulas RANTA, Aarne LISTENMAA, Inari SOH, Jerrold WONG, Meng Weng (HUANG Mingrong) 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 interpretation and supports translations to different back-end logics and visualisations. The approach, while rule-based and explainable, is also robust: it can deliver useful results from day one, but allows subsequent refinements and variations. 2022-12-01T08:00:00Z text application/pdf https://ink.library.smu.edu.sg/sol_research/4041 info:doi/10.3233/FAIA220473 https://ink.library.smu.edu.sg/context/sol_research/article/5999/viewcontent/An_End_to_End_Pipeline_from_Law_Text_to_Logical_Formulas.pdf http://creativecommons.org/licenses/by/4.0/ Research Collection Yong Pung How School Of Law eng Institutional Knowledge at Singapore Management University Legal formalisms Legal text parsing Grammatical framework. Legal Writing and Research Science and Technology Law |
| institution |
Singapore Management University |
| building |
SMU Libraries |
| continent |
Asia |
| country |
Singapore Singapore |
| content_provider |
SMU Libraries |
| collection |
InK@SMU |
| language |
English |
| topic |
Legal formalisms Legal text parsing Grammatical framework. Legal Writing and Research Science and Technology Law |
| spellingShingle |
Legal formalisms Legal text parsing Grammatical framework. Legal Writing and Research Science and Technology Law RANTA, Aarne LISTENMAA, Inari SOH, Jerrold WONG, Meng Weng (HUANG Mingrong) An end-to-end pipeline from law text to logical formulas |
| description |
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 interpretation and supports translations to different back-end logics and visualisations. The approach, while rule-based and explainable, is also robust: it can deliver useful results from day one, but allows subsequent refinements and variations. |
| format |
text |
| author |
RANTA, Aarne LISTENMAA, Inari SOH, Jerrold WONG, Meng Weng (HUANG Mingrong) |
| author_facet |
RANTA, Aarne LISTENMAA, Inari SOH, Jerrold WONG, Meng Weng (HUANG Mingrong) |
| author_sort |
RANTA, Aarne |
| title |
An end-to-end pipeline from law text to logical formulas |
| title_short |
An end-to-end pipeline from law text to logical formulas |
| title_full |
An end-to-end pipeline from law text to logical formulas |
| title_fullStr |
An end-to-end pipeline from law text to logical formulas |
| title_full_unstemmed |
An end-to-end pipeline from law text to logical formulas |
| title_sort |
end-to-end pipeline from law text to logical formulas |
| publisher |
Institutional Knowledge at Singapore Management University |
| publishDate |
2022 |
| url |
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 |
| _version_ |
1770576453594775552 |