---
title: "Correct Parallel Status Assignment for the Reason Maintenance System"
authors:
  - "Rosanne M. Fulcomer"
  - "William E. Ball"
doi: ""
url: "https://ijcai.org/proceedings/1989/5"
pdf: "https://ijcai.org/proceedings/1989/0005.pdf"
venue: "Proceedings of the Eleventh International Joint Conference on Artificial Intelligence"
year: 1989
pages: "30-34"
track: "Tools"
keywords:
---

# Correct Parallel Status Assignment for the Reason Maintenance System

Rosanne M. Fulcomer, William E. Ball

*Proceedings of the Eleventh International Joint Conference on Artificial Intelligence*, 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.