Paper:
Views over last 60 days: 557
Legal Reasoning Using Abductive Logic Programming
Takashi Kanai and Susumu Kunifuji
School of Information Science, Japan Advanced Institute of Science and Technology, 1-1 Asahidai, Tatsunokuchi, Noumi, Ishikawa, Japan
Received:September 30, 1997Accepted:November 13, 1997Published:December 20, 1997
Keywords:Abduction, Legal reasoning, Hypothetical reasoning, CISG
Abstract
In this paper, we propose a new legal reasoning system using abductive logic programming (ALP). The system can deal with ambiguities of described facts and exceptions which is not described in relevant articles. In addition, the goal, queried to a legal reasoning system, differs in compliance with whether the user is a plaintiff or defendant. In usual deductive legal reasoning systems, there are two major problems in treating legal arguments. One is that legal facts usually have ambiguities, and the other is that two conflicting conclusions must be derived from one knowledge base, depending on whether a plaintiff of defendant is involved. To overcome these difficulties, abductive logic programming is used in our legal reasoning system, which can deal with implicit exceptions and generate presumptions according to the user’s needs.
Cite this article as:T. Kanai and S. Kunifuji, “Legal Reasoning Using Abductive Logic Programming,” J. Adv. Comput. Intell. Intell. Inform., Vol.1 No.2, pp. 114-120, 1997.Data files:
