A Logically Complete Reasoning Maintenance System Based on a Logical Constraint Solver
Abstract
This paper presents a logically complete assumption based truth maintenance system (ATMS) that is part of a complex blast furnace computer aided piloting system [ 5 ] . This system is built on an efficient and logically complete propositional constraint solver that has been successfully used for industrial applications in computer aided design. 1 Introduction A reasoning maintenance system (RMS) is a critical part of a reasoning system, since it is responsible for assuring that the inferences made by that system are valid. The reasoning system provides the RMS with information about each inference it performs, and in return the RMS provides the reasoning system with information about the whole set of inferences. Several implementations of reasoning maintenance systems have been proposed in the past, remarkable ones being Doyle's truth maintenance system (TMS) [ 6 ] , and De Kleer's assumption-based truth maintenance system (ATMS) [ 7 ] . Both of them suffer from some limitations. The...
Cite
Text
Madre and Coudert. "A Logically Complete Reasoning Maintenance System Based on a Logical Constraint Solver." International Joint Conference on Artificial Intelligence, 1991.Markdown
[Madre and Coudert. "A Logically Complete Reasoning Maintenance System Based on a Logical Constraint Solver." International Joint Conference on Artificial Intelligence, 1991.](https://mlanthology.org/ijcai/1991/madre1991ijcai-logically/)BibTeX
@inproceedings{madre1991ijcai-logically,
title = {{A Logically Complete Reasoning Maintenance System Based on a Logical Constraint Solver}},
author = {Madre, Jean Christophe and Coudert, Olivier},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1991},
pages = {294-299},
url = {https://mlanthology.org/ijcai/1991/madre1991ijcai-logically/}
}