Publication Type
Conference Proceeding Article
Book Title/Conference/Journal
ICLP 2022: Proceedings of the International Conference on Logic Programming 2022 Workshops: Haifa, Israel, 31 July - 1 August: Workshop on Goal-Directed Execution of Answer Set Programs 2nd GDE 2022, August 1
Year
8-2022
Abstract
The paper studies defeasible reasoning in rule-based systems, in particular about legal norms and contracts. We identify rule modifiers that specify how rules interact and how they can be overridden. We then define rule transformations that eliminate these modifiers, leading in the end to a translation of rules to formulas. For reasoning with and about rules, we contrast two approaches, one in a classical logic with SMT solvers, which is only briefly sketched, and one using non-monotonic logic with Answer Set Programming solvers, described in more detail.
Keywords
Knowledge representation and reasoning, Argumentation and law, Computational Law, Defeasible reasoning
Disciplines
Computer Law | Numerical Analysis and Computation | Rule of Law
Publisher
CEUR
Version
publishedVersion
Language
eng
Copyright Holder
Authors
Creative Commons License
This work is licensed under a Creative Commons Attribution 4.0 International License.
Format
application/PDF
Citation
LIM, How Khang; MAHAJAR, Avishkar; STRECKER, Martin; and WONG, Meng Weng.
Automating defeasible reasoning in law with answer set programming. (2022). ICLP 2022: Proceedings of the International Conference on Logic Programming 2022 Workshops: Haifa, Israel, 31 July - 1 August: Workshop on Goal-Directed Execution of Answer Set Programs 2nd GDE 2022, August 1. 1-11.
Available at: https://ink.library.smu.edu.sg/cclaw/1
Additional URL
https://ceur-ws.org/Vol-3193/paper3GDE.pdf