Abstract
Class of deductions where their conclusions persist even though some components of justification are no more valid, pose some difficulty in reasoning about change. A partial solution is found in the notion called inessentiality of a component of a justification to its conclusion. The frame axiom to deduce the persistence of a sentence using the notion of inessentiality is accommodated within the framework of Reason Maintenance System (RMS), by modifying the definition of IN-ness of a node and its current-support.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
Doyle, Jon. Truth Maintenance System, Artificial Intelligence 12, pp 231–272, 1979.
Freitag H. An Admissible extension Theory Based Reason Maintenance System, Report INF2 ARM-2-87, SIEMENS AG, 1987.
Ginsberg ML and Smith DE. Reasoning about actions I: A possible worlds approach, Artificial Intelligence 35, pp 165–195, 1988.
Goodwin J. An Improved Algorithm for Non-Monotonic Dependency Net Update, Research Report LiTH-MAT-R-82-23, University of Linkoping, Sweden, 1982.
Myer KL and Smith DE. The Persistence of Derived In formation, AAAI-88, pp 496–500, 1988.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kulkarni, D.H., Parameswaran, N. (1990). Implementing persistence of derived information in a reason maintenance system. In: Ramani, S., Chandrasekar, R., Anjaneyulu, K.S.R. (eds) Knowledge Based Computer Systems. KBCS 1989. Lecture Notes in Computer Science, vol 444. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0018399
Download citation
DOI: https://doi.org/10.1007/BFb0018399
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-52850-0
Online ISBN: 978-3-540-47168-4
eBook Packages: Springer Book Archive