Technical Report YB 91--0031, pages 1-23 pp.. Beijing, P. R. China: Academia Sinica, Laboratory of Management Decision and Information Systems (MADIS), 1991.
Abstract: The paper introduces a Petri net model for a reason maintenance system and applies Petri net analysis methods to a finite nonmonotonic theory. The model proposed in this paper can not only specify the reason maintenance system, but also analyse the system based upon the net theory and techniques. The authors derive an algorithm to find the extensions for a given set of nonmonotonic rules and an algorithm to find out inconsistency in a system. The algorithm to find extensions is considered to be more efficient than the existing reconstruction procedure, and it is decidable.
Keywords: reason maintenance system; nonmonotonic inference; consistency maintenance; logical extension.