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, /spl Sscr//spl Mscr/ ("Situation-theoretic Model"), and a deductive object-oriented database system, /spl Qscr//spl Uscr//spl Iscr//spl Xscr//spl Oscr//spl Tscr//spl Escr/. 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.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
