The use of an ATMS in consistency checking of a legal expert system

Authors:
Olav Hødnebø;Edvard Løkketangen
Affiliations:
Univ. of Oslo, Oslo, Norway;Univ. of Oslo, Oslo, Norway
Venue:
ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
Year:
1993

Citing 2
Cited 0

An assumption-based TMS

Artificial Intelligence
Issue spotting in a system for searching interpretation spaces

ICAIL '89 Proceedings of the 2nd international conference on Artificial intelligence and law

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper describes how a legal expert system is enhanced by the use of an Assumption-based Truth Maintenance System (ATMS). An ATMS is a general construct that aids an expert system by keeping track of the dependencies of the expert system. It is also capable of handling inconsistencies in the expert system, by dividing the database of the expert system into partially disjunct databases, each consistent.