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

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.

REFERENCES

• de Kleer, 1986: Johan de Kleer, An assumption-based TMS, Artificial Intelligence, v.28 n.2, p.127-162, March 1986 [doi>10.1016/0004-3702(86)90080-9]
• Gordon, 1989: T. F. Gordon, Issue spotting in a system for searching interpretation spaces, Proceedings of the 2nd international conference on Artificial intelligence and law, p.157-164, May 1989, Vancouver, British Columbia, Canada [doi>10.1145/74014.74035]
• Mæsel and Galtung, 1989: D. S. M~esel and A. Galmng. XCITE - Et statsborgerrettslig ekspertsystem. Number 3/89 in CompLex. Tano, 1989.
• Reiter, 1980: R. Reiter. A logic for default reasoning. Artificial Intelligence, 13'81-132, 1980.

INDEX TERMS

Primary Classification:
  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE
      I.2.1 Applications and Expert Systems
          Subjects: Law

Additional Classification:
  H. Information Systems
  H.1 MODELS AND PRINCIPLES
      H.1.2 User/Machine Systems
          Subjects: Human information processing; Human factors

General Terms:
Human Factors, Legal Aspects, Verification