Journal
ARTIFICIAL INTELLIGENCE AND LAW
Volume 29, Issue 4, Pages 541-557Publisher
SPRINGER
DOI: 10.1007/s10506-021-09283-7
Keywords
Legal debugging; Legal reasoning; Legal representation; Algorithmic debugging
Categories
Funding
- Japan Society for the Promotion of Science [JP19H05470, JP17H06103]
Ask authors/readers for more resources
The article focuses on addressing counterintuitive consequences of literal interpretations of statutes by utilizing Legal Debugging to identify problematic rule conditions and proposing an algorithm to resolve them. This approach aims to assist judges in civil law systems in resolving such consequences efficiently.
There are cases in which the literal interpretation of statutes may lead to counterintuitive consequences. When such cases go to high courts, judges may handle these counterintuitive consequences by identifying problematic rule conditions. Given that the law consists of a large number of rule conditions, it is demanding and exhaustive to figure out which condition is problematic. For solving this problem, our work aims to assist judges in civil law systems to resolve counterintuitive consequences using logic program representation of statutes and Legal Debugging. The core principle of Legal Debugging is to cooperate with a user to find a culprit, a root cause of counterintuitive consequences. This article proposes an algorithm to resolve a culprit. Since the statutes are represented by logic rules but changes in law are initiated by cases, we adopt a prototypical case with judgement specified by a set of rules. Then, to resolve a culprit, we reconstruct a program so that it provides reasons as if we applied case-based reasoning to a new set of prototypical cases with judgement, which include a new set of facts relevant to a considering case.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available