Access the full text.
Sign up today, get DeepDyve free for 14 days.
Loading next page...
/lp/springer-journals/on-the-logical-foundations-of-compound-predicate-formulae-for-legal-vFJkefSC7C
References (33)
-
H.D. Ebbinghaus, J. Flum, W. Thomas (1984)
Mathematical Logic -
H. Yoshino, T. Kakuta (1992)
Legal Knowledge and Legal Reasoning Systems (Proceedings of the 6th International Symposium of Legal Expert System Association), LESA -
H. Yoshino (1995)
Proceedings of The Fifth International Conference on Artificial Intelligence and Law -
L. McCarty (1989)
A language for legal discourse -
(1988)
LES-Project -
H. Albert, N. Luhmann, W. Maihofer, O. Weinberger (1972)
Rechtstheorie als Grundlagenwissenschaft der Rechtswissenschaft -
Identity Axioms) If X;Y are variables, t(X 1 ; : : : ; X n ) is a term and '(X 1 ; : : : ; X n ) is an atomic formula, then the formulas -
D. Davidson (2001)
The Logical Form of Action Sentences -
T. McCarty, R. van der Meyden (1992)
Principles of Knowledge Representation and Reasoning. Proceedings of the Third International Conference (KR92) -
L. McCarty (1989)
A language for legal Discourse I. basic features -
(1980)
The Logic of Common Noun. Yale University Press: New Haven -
(1980)
The Logic of Common Noun -
J. Rödig (1980)
Über die Notwendigkeit einer besonderen Logik der Normen -
(1992)
The Knowledge Representation of Legal Expert System LES-3.3 with Legal Meta-inference -
J. Rödig (1972)
Rechtstheorie als Grundlagenwissenschaft der Rechtwissenschaft, Jahrbuch für Rechtssoziologie und Rechtstheorie -
H. Yoshino (1978)
Gesetzgebungstheorie, Jurisitische Logik, Zivil-und Prozeßrecht (Gedächtnisschricht für Jürgen Rödig) -
Seiichiro Sakurai, H. Yoshino (1993)
Identification of implicit legal requirements with legal abstract knowledge -
A. Leisenring (1971)
Mathematical logic and Hilbert's ε-symbolThe Mathematical Gazette, 55
-
Hajime Yoshino (1978)
Über die Notwendigkeit einer besonderen Normenlogik als Methode der juristischen Logik -
All tautological formulae of the syntax of CPFs -
H. Yoshino, M. Haraguchi, Seiichiro Sakurai, S. Kagayama (1993)
Towards a legal analogical reasoning system: knowledge representation and reasoning methods -
R. Gill (1982)
The Logic of Common Nouns.Philosophical Books, 23
-
(1988)
Attempto Verlag: Tübingen -
D. Davidson (1980)
Essays on Actions and Events -
If '; are formulae of the syntax of CPF and X is an individual variable (therefore, X is a X i or T j ) not free in ', then the formula (8X ' ) 8 X ( ' ) is an axiom -
L. McCarty, R. Meyden (1992)
Reasoning About Indefinite Actions -
H. Yoshino (1995)
The systematization of legal meta-inference -
H. Yoshino (1987)
Logic Programming '86 -
H. Yoshino, Shigeru Kagayama, Shouzou Ohta, Munenori Kitahara, Hiroyasu Kondoh, Mituru Nakakawaji, Kouji Ishimaru, Seiti Takao (1986)
Legal Expert System LES-2 -
J. Lloyd (1984)
Foundations of Logic Programming -
H. Yoshino (1994)
Representation of Legal Knowledge by Compound Predicate Formula -
(1992)
Reasoning about Indefinite Actions. In Principles of Knowledge Representation and Reasoning -
H. Yoshino, M. Kitahara (1988)
Expert Systems in Law
- Publisher
- Springer Journals
- Copyright
- Copyright © 1997 by Kluwer Academic Publishers
- Subject
- Computer Science; Artificial Intelligence (incl. Robotics); International IT and Media Law, Intellectual Property Law; Philosophy of Law; Legal Aspects of Computing; Information Storage and Retrieval
- ISSN
- 0924-8463
- eISSN
- 1572-8382
- DOI
- 10.1023/A:1008289826410
- Publisher site
- See Article on Publisher Site
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 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.
Journal
Artificial Intelligence and Law – Springer Journals
Published: Sep 19, 2004