Towards formalizing statute law as default logic through automatic semantic parsing

Marcos Pertierra, Sarah B Lawsky, Erik Hemberg, Una May O’Reilly

Research output: Contribution to journalConference article

Abstract

Tax regulations and statutes are long, complex, and difficult to understand, and thus present the opportunity for undetectable legal avoidance. Our project goal is to facilitate a new approach to statute composition wherein a logic representation of existing law would be extended and checked before its translation to natural language. We envision a software pipeline that would automatically parse a requested section of the Internal Revenue Code (IRC) and accurately express it with a default logic representation. Herein, we evaluate the effectiveness of an end to end assembly of existing software tools. This pipeline uses regular expression search on the Code’s common structural text patterns and conducts semantic parsing with various open-source natural language parsers. Using IRC Section 163(h) which we have manually expressed in default logic, we evaluate the resulting intermediate logic representations. We observe that the semantic complexity of tax regulations overwhelms the parsers’ capabilities. Their shortcomings will have to be addressed as a prerequisite to a component that will, starting from the intermediate logic, automatically express the default logic.

Original languageEnglish (US)
JournalCEUR Workshop Proceedings
Volume2143
StatePublished - Jan 1 2017
Event2nd Workshop on Automated Semantic Analysis of Information in Legal Texts, ASAIL 2017 - London, United Kingdom
Duration: Jun 16 2017 → …

Fingerprint

Taxation
Pipelines
Semantics
Chemical analysis

Keywords

  • Default logic
  • Parsing
  • Semantics
  • Tax

ASJC Scopus subject areas

  • Computer Science(all)

Cite this

Pertierra, Marcos ; Lawsky, Sarah B ; Hemberg, Erik ; O’Reilly, Una May. / Towards formalizing statute law as default logic through automatic semantic parsing. In: CEUR Workshop Proceedings. 2017 ; Vol. 2143.
@article{40b0b417dd7c4ce4bbe84ce691a5e606,
title = "Towards formalizing statute law as default logic through automatic semantic parsing",
abstract = "Tax regulations and statutes are long, complex, and difficult to understand, and thus present the opportunity for undetectable legal avoidance. Our project goal is to facilitate a new approach to statute composition wherein a logic representation of existing law would be extended and checked before its translation to natural language. We envision a software pipeline that would automatically parse a requested section of the Internal Revenue Code (IRC) and accurately express it with a default logic representation. Herein, we evaluate the effectiveness of an end to end assembly of existing software tools. This pipeline uses regular expression search on the Code’s common structural text patterns and conducts semantic parsing with various open-source natural language parsers. Using IRC Section 163(h) which we have manually expressed in default logic, we evaluate the resulting intermediate logic representations. We observe that the semantic complexity of tax regulations overwhelms the parsers’ capabilities. Their shortcomings will have to be addressed as a prerequisite to a component that will, starting from the intermediate logic, automatically express the default logic.",
keywords = "Default logic, Parsing, Semantics, Tax",
author = "Marcos Pertierra and Lawsky, {Sarah B} and Erik Hemberg and O’Reilly, {Una May}",
year = "2017",
month = "1",
day = "1",
language = "English (US)",
volume = "2143",
journal = "CEUR Workshop Proceedings",
issn = "1613-0073",
publisher = "CEUR-WS",

}

Towards formalizing statute law as default logic through automatic semantic parsing. / Pertierra, Marcos; Lawsky, Sarah B; Hemberg, Erik; O’Reilly, Una May.

In: CEUR Workshop Proceedings, Vol. 2143, 01.01.2017.

Research output: Contribution to journalConference article

TY - JOUR

T1 - Towards formalizing statute law as default logic through automatic semantic parsing

AU - Pertierra, Marcos

AU - Lawsky, Sarah B

AU - Hemberg, Erik

AU - O’Reilly, Una May

PY - 2017/1/1

Y1 - 2017/1/1

N2 - Tax regulations and statutes are long, complex, and difficult to understand, and thus present the opportunity for undetectable legal avoidance. Our project goal is to facilitate a new approach to statute composition wherein a logic representation of existing law would be extended and checked before its translation to natural language. We envision a software pipeline that would automatically parse a requested section of the Internal Revenue Code (IRC) and accurately express it with a default logic representation. Herein, we evaluate the effectiveness of an end to end assembly of existing software tools. This pipeline uses regular expression search on the Code’s common structural text patterns and conducts semantic parsing with various open-source natural language parsers. Using IRC Section 163(h) which we have manually expressed in default logic, we evaluate the resulting intermediate logic representations. We observe that the semantic complexity of tax regulations overwhelms the parsers’ capabilities. Their shortcomings will have to be addressed as a prerequisite to a component that will, starting from the intermediate logic, automatically express the default logic.

AB - Tax regulations and statutes are long, complex, and difficult to understand, and thus present the opportunity for undetectable legal avoidance. Our project goal is to facilitate a new approach to statute composition wherein a logic representation of existing law would be extended and checked before its translation to natural language. We envision a software pipeline that would automatically parse a requested section of the Internal Revenue Code (IRC) and accurately express it with a default logic representation. Herein, we evaluate the effectiveness of an end to end assembly of existing software tools. This pipeline uses regular expression search on the Code’s common structural text patterns and conducts semantic parsing with various open-source natural language parsers. Using IRC Section 163(h) which we have manually expressed in default logic, we evaluate the resulting intermediate logic representations. We observe that the semantic complexity of tax regulations overwhelms the parsers’ capabilities. Their shortcomings will have to be addressed as a prerequisite to a component that will, starting from the intermediate logic, automatically express the default logic.

KW - Default logic

KW - Parsing

KW - Semantics

KW - Tax

UR - http://www.scopus.com/inward/record.url?scp=85050909343&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85050909343&partnerID=8YFLogxK

M3 - Conference article

AN - SCOPUS:85050909343

VL - 2143

JO - CEUR Workshop Proceedings

JF - CEUR Workshop Proceedings

SN - 1613-0073

ER -