JACIII Vol.1 No.2 pp. 114-120
doi: 10.20965/jaciii.1997.p0114


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

September 30, 1997
November 13, 1997
December 20, 1997
Abduction, Legal reasoning, Hypothetical reasoning, CISG
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:

*This site is desgined based on HTML5 and CSS3 for modern browsers, e.g. Chrome, Firefox, Safari, Edge, Opera.

Last updated on Apr. 22, 2024