期刊
ARTIFICIAL INTELLIGENCE AND LAW
卷 29, 期 4, 页码 541-557出版社
SPRINGER
DOI: 10.1007/s10506-021-09283-7
关键词
Legal debugging; Legal reasoning; Legal representation; Algorithmic debugging
资金
- Japan Society for the Promotion of Science [JP19H05470, JP17H06103]
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.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据