Correct Parallel Status Assignment for the Reason Maintenance System
Proceedings of the Eleventh International Joint Conference on Artificial Intelligence. Tools. Pages 30-34.
Abstract
This paper represents a beginning development of a parallel truth maintenance system to interact with a parallel inference engine. We present a solution which performs status assignments in parallel to belief nodes in the Reason Maintenance System (RMS) presented by [Doyle, 1979], [Doyle, 1983]. We examine a previously described algorithm by [Petrie, 1986] which fails to correctly detect termination of the status assignments. Under Petrie's algorithm, termination may go undetected and in certain circumstances (namely the existence of an unsatisfiable circularity) a false detection may occur. We present an algorithm that corrects these problems.
@inproceedings{ijcai1989p5,
title = {Correct Parallel Status Assignment for the Reason Maintenance System},
author = {Fulcomer, Rosanne M. and Ball, William E.},
booktitle = {Proceedings of the Eleventh International Joint Conference on
Artificial Intelligence, {IJCAI-89}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {N. S. Sridharan},
pages = {30--34},
year = {1989},
month = {8},
note = {Tools},
url = {https://ijcai.org/proceedings/1989/5},
}
TY - CPAPER TI - Correct Parallel Status Assignment for the Reason Maintenance System AU - Fulcomer, Rosanne M. AU - Ball, William E. T2 - Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, IJCAI-89 PB - International Joint Conferences on Artificial Intelligence PY - 1989 SP - 30 EP - 34 UR - https://ijcai.org/proceedings/1989/5 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
