David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
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)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
Trevor Bench-Capon, Michał Araszkiewicz, Kevin Ashley, Katie Atkinson, Floris Bex, Filipe Borges, Daniele Bourcier, Paul Bourgine, Jack G. Conrad, Enrico Francesconi, Thomas F. Gordon, Guido Governatori, Jochen L. Leidner, David D. Lewis, Ronald P. Loui, L. Thorne McCarty, Henry Prakken, Frank Schilder, Erich Schweighofer, Paul Thompson, Alex Tyrrell, Bart Verheij, Douglas N. Walton & Adam Z. Wyner (2012). A History of AI and Law in 50 Papers: 25 Years of the International Conference on AI and Law. [REVIEW] Artificial Intelligence and Law 20 (3):215-319.
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.
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.
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.
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.
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.
Robin Widdison, Francis Pritchard & William Robinson (1992). The European Conflicts Guide. Artificial Intelligence and Law 1 (4):291-304.
Andreas Hamfelt (1995). Formalizing Multiple Interpretation of Legal Knowledge. Artificial Intelligence and Law 3 (4):221-265.
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.
Anja Oskamp (1992). Model for Knowledge and Legal Expert Systems. Artificial Intelligence and Law 1 (4):245-274.
Added to index2009-01-28
Total downloads46 ( #87,507 of 1,790,341 )
Recent downloads (6 months)25 ( #32,409 of 1,790,341 )
How can I increase my downloads?