Automating defeasible reasoning in law with answer set programming
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 translat...
Saved in:
Main Authors: | LIM, How Khang, MAHAJAR, Avishkar, STRECKER, Martin, WONG, Meng Weng |
---|---|
Format: | text |
Language: | English |
Published: |
Institutional Knowledge at Singapore Management University
2022
|
Subjects: | |
Online Access: | https://ink.library.smu.edu.sg/cclaw/1 https://ink.library.smu.edu.sg/context/cclaw/article/1000/viewcontent/Automating_Defeasible_Reasoning_in_Law.pdf |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Singapore Management University |
Language: | English |
Similar Items
-
User guided abductive proof generation for answer set programming queries
by: MAHAJAN, Avishkar, et al.
Published: (2022) -
Compliance through model checking
by: MAHAJAN, Avishkar, et al.
Published: (2022) -
Defeasible semantics for L4
by: GOVERNATORI, Guido, et al.
Published: (2023) -
Traffic rule formalization for autonomous vehicle
by: BHUIYAN, Hanif, et al.
Published: (2022) -
Traffic rule formalization for autonomous vehicle
by: BHUIYAN, Hanif, et al.
Published: (2022)