Automated inference of rules with exception from past legal cases using ASP
File(s)LPNMR2015.pdf (480.37 KB)
Accepted version
Author(s)
Athakravi, D
Satoh, K
Law, M
Broda, K
Russo, AM
Type
Conference Paper
Abstract
In legal reasoning, different assumptions are often considered when reaching a final verdict and judgement outcomes strictly depend on these assumptions. In this paper, we propose an approach for generating a declarative model of judgements from past legal cases, that expresses a legal reasoning structure in terms of principle rules and exceptions. Using a logic-based reasoning technique, we are able to identify from given past cases different underlying defaults (legal assumptions) and compute judgements that (i) cover all possible cases (including past cases) within a given set of relevant factors, and (ii) can make deterministic predictions on final verdicts for unseen cases. The extracted declarative model of judgements can then be used to make automated inference of future judgements, and generate explanations of legal decisions.
Date Issued
2015-09-15
Date Acceptance
2015-06-06
Citation
LNAI/LNCS Proceedings of Logic Programming and Non Monotonic Reasoning, 2015, 9345, pp.83-96
ISBN
978-3-319-23263-8
ISSN
0302-9743
Publisher
Springer
Start Page
83
End Page
96
Journal / Book Title
LNAI/LNCS Proceedings of Logic Programming and Non Monotonic Reasoning
Volume
9345
Copyright Statement
The final publication is available at Springer via https://dx.doi.org/10.1007/978-3-319-23264-5_8
Source
International Conference on Logic Programming and Non Monotonic Reasoning (LPNMR 2015)
Publication Status
Published
Start Date
2015-09-27
Finish Date
2015-09-30
Coverage Spatial
Lexington, KY