A General Labeling Algorithm for Assumption-Based Truth Maintenance
Abstract
Assumption-based truth maintenance systems have become a powerful and widely used tool in Artificial Intelligence problem solvers. The basic ATMS is restricted to accepting only horn clause justifications. Although various generalizations have been made and proposed to allow an ATMS to handle more general clauses, they have all involved the addition of complex and difficult to integrate hyperresolution rules. This paper presents an alternative approach based on negated assumptions which integrates simply and cleanly into existing ATMS algorithms and which does not require the use of a hyperresolution rule to ensure label consistency.
Cite
Text
de Kleer. "A General Labeling Algorithm for Assumption-Based Truth Maintenance." AAAI Conference on Artificial Intelligence, 1988.Markdown
[de Kleer. "A General Labeling Algorithm for Assumption-Based Truth Maintenance." AAAI Conference on Artificial Intelligence, 1988.](https://mlanthology.org/aaai/1988/dekleer1988aaai-general/)BibTeX
@inproceedings{dekleer1988aaai-general,
title = {{A General Labeling Algorithm for Assumption-Based Truth Maintenance}},
author = {de Kleer, Johan},
booktitle = {AAAI Conference on Artificial Intelligence},
year = {1988},
pages = {188-192},
url = {https://mlanthology.org/aaai/1988/dekleer1988aaai-general/}
}