An artificial intelligence approach to legal reasoning
An artificial intelligence approach to legal reasoning
F-logic: a higher-order language for reasoning about objects, inheritance, and scheme
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Logic programming and databases
Logic programming and databases
Logic and information
A computational model for trial reasoning
ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
HELIC-II: legal reasoning system on the parallel inference machine
Selected papers of international conference on Fifth generation computer systems 92
Research Frontiers in Object Technology
Information Systems Frontiers
| Hi-index | 0.00 |
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.