Artificial Intelligence
Artificial Intelligence
Proceedings of the 2nd international workshop on Non-monotonic reasoning
An algebraic foundation for truth maintenance
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
Found ations of assumption-based truth maintenance systems: preliminary report
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
Computing the extensions of autoepistemic and default logics with a truth maintenance system
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |
In this paper, we investigate technical methods to deal with exceptions, inconsistencies, and ambiguity. Existing reason maintenance systems are only suitable for some of these problems. Doyle's TMS handles exceptions properly, but gets in trouble with non-monotonic odd or even loops. On the other hand, de Kleer's ATMS produces too many contexts if there are exceptions of exceptions. Therefore, we present a hybrid reason maintenance system that benefits from the advantages of the ATMS and TMS. First of all, we use Reiter's default logic as a specification for this system. Second, we develop a criterion that decides which assumption sets are valid. Then, we extend the ATMS by a test algorithm that takes account of exceptions and obeys this criterion. We verify the resulting system using default logic. Finally, we discuss some problems involved with special techniques for resolving inconsistencies (e.g. TMS-like backtracking).