This Article 
 Bibliographic References 
 Add to: 
A Deductive Object-Oriented Database System for Situated Inference in Law
June 1996 (vol. 8 no. 3)
pp. 496-503

Abstract—Deductive Object-Oriented Databases and Situation Theory are two important areas of research in the fields of database and of linguistics. AI and Law is a new field attracting both AI researchers and legal practitioners. Our research brings together the former two fields with the aim of designing knowledge applications in the latter. This is achieved through a formal model for legal reasoning, ${\cal SM}$, and a deductive object-oriented database system, ${\cal QUIX}\!O\!{\cal TE}$. The purpose of this paper is to introduce the key features of this formal model, based on situation theory, and to describe how this database system can implement this abstract model for complex legal reasoning applications. Concrete examples from legal precedents are used to illustrate these advanced features.

[1] K. Ashley, Modeling Legal Argument.Cambridge, Mass.: MIT Press, 1990.
[2] J. Barwise and J. Perry, Situations and Attitudes.Cambridge, Mass.: MIT Press, 1983.
[3] J. Barwise, The Situation in Logic, CSLI Lecture Notes 17, CSLI, Stanford Univ., 1988.
[4] S. Ceri, G. Gottlob, and L. Tanca, "Logic Programming and Databases," Surveys in Computer Science. Springer-Verlag, 1990.
[5] T. Chikayama, "Operating System PIMOS and Kernel Language KL1," Proc. Int'l Conf. Fifth Generation Computer Systems, ICOT, pp. 73-88,Tokyo, June 1992.
[6] K. Devlin, Logic and Information I, Cambridge Univ. Press, 1991.
[7] A.v.d.L. Gardner, An Artificial Intelligence Approach to Legal Reasoning.Cambridge, Mass.: MIT Press, 1987.
[8] J. Jaffer and J.-L. Lassez, "Constraint Logic Programming," Proc. Fourth IEEE Symp. Logic Programming, 1987.
[9] H. Kamp, "A Theory of Truth and Semantic Representation," Methods in the Study of Language Representation J. Groenendijk, T. Jansson, and M. Stockhof, eds. Amsterdam: Math Carter, 1981.
[10] M. Kifer and G. Lausen, “F-Logic: A Higher-Order Language for Reasoning About Objects, Inheritance, and Scheme,” Proc. ACM SIGMOD Conf., 1989.
[11] K. Nitta, Y. Ohtake, S. Maeda et al., "HELIC-II: A Legal Reasoning System on the Parallel Inference Machine," Proc. Int'l Conf. FGCS, ICOT, pp. 1,115-1,124,Tokyo, June 1992.
[12] K. Nitta, S. Wong, and Y. Ohtake, "A Computational Model for Trial Reasoning," Proc. Fourth Int'l Conf. AI and Law,Amsterdam, June 1993.
[13] Special issue: AI and Legal Reasoning, Part 1, 2, E.L. Rissland, ed., Int'l J. Man-Machine Studies, vol. 34, no. 6, June 1991.
[14] M. Sergot, "The Representation of Law in Computer Programs: A Survey and Comparison," Knowledge Based Systems and Legal Applications, T.J.M. Bench-Capon, ed., pp. 3-68. Academic Press, 1991.
[15] K. Taki, "Parallel Inference Machine PIM," Proc. Int'l Conf. FGCS, ICOT, pp. 50-72,Tokyo, June 1992.
[16] S. Wong, "A Situation-Theoretic Model for Trial Reasoning," Proc. Sixth Int'l Symp. Legal Knowledge and Legal Reasoning Systems, pp. 32-54,Tokyo, Oct. 1992.
[17] H. Yasukawa and K. Yokota, "Labeled Graphs as Semantics of Objects," Proc. SIGDBS and SIGAI of Information Processing Society of Japan, Oct. 1990.
[18] K. Yokota, H. Tsuda, Y. Morita, S. Tojo, and H. Yasukawa, "Specific Features of a Deductive Object-Oriented Database Language${\cal QUIX}\!O\!{\cal TE}$," Proc. Workshop Combining Declarative and Object-Oriented Databases, ACM SIGMOD, Washington, D.C., May29, 1993.

Index Terms:
Deductive object-oriented databases, AI and law, knowledge base management systems, situation theory.
Stephen Wong, Satoshi Tojo, "A Deductive Object-Oriented Database System for Situated Inference in Law," IEEE Transactions on Knowledge and Data Engineering, vol. 8, no. 3, pp. 496-503, June 1996, doi:10.1109/69.506715
Usage of this product signifies your acceptance of the Terms of Use.