by Toshihiro Nishioka, Kazumasa Yokota, Chie Takahashi, Satoshi Tojo
http://alpha.c.oka-pu.ac.jp/~yokota/paper/ecai94.ps
Add To MetaCart
Abstract:
partial information, conditional query and answer, deductive object-oriented database In legal reasoning systems, a typical application of normative reasoning, partial information plays an important role in the representation and reasoning of legal knowledge. To construct a legal knowledge-base with partial information, many features are required of knowledge representation languages. In this paper, we discuss the representation of knowledge-bases and their refinement through our experimental system, TRIAL. The system is based on the QUIXOT E deductive object-oriented database language. In particular, we point out that three features (knowledge modularization, hypothetical reasoning, and hypothesis generation (abductive reasoning)) are indispensable to the construction of a legal knowledge-base. 1
Citations
|
633
|
Logical foundations of object-oriented and frame-based languages
– Kifer, Lausen, et al.
- 1995
|
|
99
|
Transaction logic programming
– Bonner, Kifer
- 1993
|
|
66
|
An Algebraic Semantics Approach to the Effective Resolution of Type Equations
– Ait-Kaci
- 1986
|
|
39
|
A theory of modules for logic programming
– Miller
- 1986
|
|
26
|
Specific Features of a Deductive Object-Oriented Database Language QUIXOTE
– Yokota, Tsuda, et al.
- 1993
|
|
15
|
Object-Oriented Systems Analysis
– Shlaer, Mellor
- 1988
|
|
14
|
Towards an Integrated Knowledge-Base Management System
– Yokota, Yasukawa
- 1992
|
|
12
|
et al., "Object-Oriented Modeling and Design
– Rumbaugh
- 1991
|
|
9
|
Metaprogramming for representation of legal principles
– Hamfelt, Barklund
- 1990
|
|
7
|
Labeled Graphs as Semantics of Objects
– Yasukawa, Yokota
- 1990
|
|
5
|
An abductive theory of legal issues
– Gordon
- 1991
|
|
4
|
TRIAL: a Legal Reasoning System (Extended Abstract
– Yamamoto
- 1991
|
|
1
|
Reasoning with Cases and Hypotheticals in HYPO," Int
– Ashley
- 1991
|
|
1
|
The Use of an ATMS in Consistency Checking of a Legal Expert System
– H��dneb��, L��kketangen
- 1993
|
|
1
|
Object Oriented Software Engineering
– al
- 1992
|
|
1
|
Does the Law Need a Technological Revolution
– Kelso
- 1946
|
|
1
|
A Legal Reasoning System on a Deductive Object-Oriented Database
– Takahashi, Yokota
- 1994
|
|
1
|
Can Databases Predict Legal Judgements
– Yokota, Shibasaki
|
