David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Artificial Intelligence and Law 5 (1-2):77-96 (1997)
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 willattempt 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|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Jaap C. Hage, Ronald Leenes & Arno R. Lodder (1993). Hard Cases: A Procedural Approach. [REVIEW] Artificial Intelligence and Law 2 (2):113-167.
Erich Schweighofer & Doris Liebwald (2007). Advanced Lexical Ontologies and Hybrid Knowledge Based Systems: First Steps to a Dynamic Legal Electronic Commentary. [REVIEW] Artificial Intelligence and Law 15 (2):103-115.
Andreas Hamfelt (1995). Formalizing Multiple Interpretation of Legal Knowledge. Artificial Intelligence and Law 3 (4):221-265.
Robin Widdison, Francis Pritchard & William Robinson (1992). The European Conflicts Guide. Artificial Intelligence and Law 1 (4):291-304.
Mingqiang Xu, Kaoru Hirota & Hajime Yoshino (1999). A Fuzzy Theoretical Approach to Case-Based Representation and Inference in CISG. Artificial Intelligence and Law 7 (2-3):259-272.
Dirk Greimann (2008). Does Frege Use a Truth-Predicate in His ‘Justification’ of the Laws of Logic? A Comment on Weiner. Mind 117 (466):403-425.
Daniéle Bourcier & Gérard Clergue (1999). From a Rule-Based Conception to Dynamic Patterns. Analyzing the Self-Organization of Legal Systems. Artificial Intelligence and Law 7 (2-3):211-225.
Graham Greenleaf, Andrew Mowbray & Peter Dijk (1995). Representing and Using Legal Knowledge in Integrated Decision Support Systems: Datalex Workstations. [REVIEW] Artificial Intelligence and Law 3 (1-2):97-142.
Anja Oskamp (1992). Model for Knowledge and Legal Expert Systems. Artificial Intelligence and Law 1 (4):245-274.
Added to index2009-01-28
Total downloads4 ( #195,393 of 1,004,212 )
Recent downloads (6 months)1 ( #64,617 of 1,004,212 )
How can I increase my downloads?