A deductive object-oriented database system for situated inference in law

Author

Wong, Stephen ; Tojo, Satoshi

Author_Institution

Dept. of Radiol., California Univ., San Francisco, CA, USA

Volume

8

Issue

3

fYear

1996

fDate

6/1/1996 12:00:00 AM

Firstpage

496

Lastpage

503

Abstract

Deductive object-oriented databases and situation theory are two important areas of research in the fields of databases 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, 𝒮ℳ (“Situation-theoretic Model”), and a deductive object-oriented database system, 𝒬𝒰ℐ𝒳𝒪𝒯ℰ. 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

Keywords

deductive databases; inference mechanisms; law administration; object-oriented databases; QUIXOTE; SM legal reasoning model; artificial intelligence; deductive object-oriented database system; knowledge applications; knowledge base management systems; law; legal precedents; situated inference; situation theory; Artificial intelligence; Context modeling; Database systems; Law; Legal factors; Problem-solving; Psychology; Taxonomy; Transaction databases; Writing;

fLanguage

English

Journal_Title

Knowledge and Data Engineering, IEEE Transactions on

Publisher

ieee

ISSN

1041-4347

Type

jour

DOI

10.1109/69.506715

Filename

506715