Abstract
We present some revision systems for non-monotonic theories and we concentrate on the revision of logic programs whenever they are classically consistent, but do not have an acceptable (non-monotonic) model. The revision method we propose is to expand an original theory (program) in order to obtain an acceptable model.
We distinguish between weak revision, conservative revision and strong revision systems. These systems differ to the extent the revision affects the set of classical models of the original theory.
We then show that there exist weak, conservative and strong expansion systems for normal logic programs using the stable model semantics.
In particular, we present a strong expansion method which makes it possible to construct for an arbitrary (incoherent) normal logic program P a -classically- equivalent expanded program P′ such that P′ always has a stable model.
Preview
Unable to display preview. Download preview PDF.
References
C. Alchourrón, P. Gärdenfors and D. Makinson, On the Logic of Theory Change: Partial Meet Contraction and Revision Functions, Journal of Symbolic Logic, 50, 510–530, 1985
P. Gärdenfors, Knowledge in Flux, MIT Press, Cambridge, MA, 1988
M. Gelfond and V. Lifschitz, The Stable Model Semantics for Logic Programming. In: Fifth International Conference Symposium on Logic Programming, pp. 1070–1080, 1988.
L. Giordano and A. Martelli, Generalized Stable Models, Truth Maintenance and Conflict Resolution, in: D. Warren and P. Szeredi (eds) Proceedings of the 7th International Conference on Logic Programming, pp. 427–441, 1990.
K. Inoue, Hypothetical Reasoning in Logic Programs, Journal of Logic Programming, 18, 3, 191–227, 1994
J. W. Lloyd, Foundations of Logic Programming, Springer Verlag, Heidelberg, 1987.
W. Marek, V.S. Subrahmanian, The relationship between stable, supported, default and auto-epistemic semantics for general logic programs, Theoretical Computer Science 103 (1992) 365–386.
V. W. Marek and M. Truszczyński, Nonmonotonic Logic, Springer Verlag, Heidelberg, 1993.
L. M. Pereira, J. J. Alferes and J. N. Aparicio, Contradiction Removal within well-founded semantics. In: A. Nerode, W. Marek and V. S. Subrahmanian, (eds.), First International Workshop on Logic Programming and Non-monotonic Reasoning, MIT Press, 1991.
L. M. Pereira, J. J. Alferes and J. N. Aparicio, The Extended Stable Models of Contradiction Removal Semantics. In: P. Barahona, L.M. Pereira and A. Porto, (eds.), Proceedings-EPIA 91, Springer Verlag, Heidelberg, 1991.
H. Rott, Modellings for Belief Change: Base Contraction, Multiple Contraction, and Epistemic Entrenchment, in: D. Pearce and G. Wagner, Logics in AI, Springer Verlag Berlin, 1992.
C. Witteveen and G. Brewka, Skeptical Reason Maintenance and Belief Revision, Artificial Intelligence, 61 (1993) 1–36.
C. Witteveen and W. van der Hoek, Belief Revision by Expansion, in: M. Clarke et al. (eds), Symbolic and Quantitative Approaches to Reasoning and Uncertainty, LNCS 747, Springer, Heidelberg, 1993, pp. 380–388.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Witteveen, C., van der Hoek, W., de Nivelle, H. (1994). Revision of non-monotonic theories. In: MacNish, C., Pearce, D., Pereira, L.M. (eds) Logics in Artificial Intelligence. JELIA 1994. Lecture Notes in Computer Science, vol 838. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0021969
Download citation
DOI: https://doi.org/10.1007/BFb0021969
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58332-5
Online ISBN: 978-3-540-48657-2
eBook Packages: Springer Book Archive