On the Logical Foundations of Compound Predicate Formulae for Legal Knowledge Representation

Author: Yoshino H.¹

Source: Artificial Intelligence and Law, Volume 5, Numbers 1-2, March 1997 , pp. 77-96(20)

Publisher: Springer

Key:

- Free Content

- New Content

- Subscribed Content

- Free Trial Content

Abstract:

In order to represent legal knowledge adequately, it is vital to create a formal device that can freely construct an individual concept directly from a predicate expression. For this purpose, a Compound Predicate Formula (CPF) is formulated for use in legal expert systems. In this paper, we will attempt to explain the nature of CPFs by rigorous logical foundation, i.e., establishing their syntax and semantics precisely through the use of appropriate examples. We note the advantages of our system over other such systems and discuss the significance of CPFs with regard to the formalization of legal reasonings using examples from the United Nations Convention for the International Sale of Goods.

Keywords: legal reasoning; CISG; knowledge representation; logic; compound predicate formula

Language: English

Document Type: Regular paper

Affiliations: 1: Meiji Gakuin University, 1-2-37, Shirokanedai, Minato-ku, Tokyo, Japan (E-mail: yoshino@mh.meijigakuin.ac.jp)

The full text electronic article is available for purchase. You will be able to download the full text electronic article after payment.

$47.00 plus tax Refund Policy