Abstract
We deal with the problem of revising nonmonotonic theories that are classically consistent, but do not have an acceptable (nonmonotonic) model. If a nonmonotonic semantics suffers from this lack of consistency preservation, we propose to apply theory revision. We present some postulates for such nonmonotonic theory revision and we will show that, unlike in classical theory revision, in nonmonotonic theory revision a theory has to be expanded instead of contracted in order to give it a satisfactory meaning. We apply the framework to the semantics of logic programming and we present some extensions of the stable, supported and positivistic semantics that satisfy both supraclassicality and consistency preservation.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
N. Bidoit, Negation in rule-based database languages: a survey, Theoretical Computer Science, 78, (1991), 3–83.
P. Gärdenfors, Knowledge in Flux, MIT Press, Cambridge, MA, 1988.
K. Inoue, C. Sakama, Abductive Framework for Nonmonotonic Theory Change. Proceedings IJCAI'95, 1995.
J. W. Lloyd, Foundations of Logic Programming, Springer Verlag, Heidelberg, 1987.
D. Makinson, General Patterns in Nonmonotonic Reasoning, in: D.M. Gabbay, C.J. Hogger, J.A. Robinson (eds) Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 3, Nonmonotonic Reasoning, Oxford Science Publications, Oxford, 1994.
V. Marek and M. Truszczyński, Nonmonotonic Logic, Springer Verlag, Heidelberg, 1993.
Morris, P., Stable Closures, Defeasible Logic and Contradiction Tolerant Reasoning, Proceedings of the 7th National Conference on Artificial Intelligence, 1988.
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, editors, 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, editors, Proceedings — EPIA 91, Springer Verlag, Heidelberg, 1991.
C. Witteveen, Every Normal Program has a Nearly-Stable Model. In J. Dix, L.M. Pereira and T.C. Przymusinski, editors, Non-Monotonic Extensions of Logic Programming, LNAI 927, pp. 68–84, Springer Verlag, 1995.
C. Witteveen and W. van der Hoek, Revision by Communication In V. Marek, A. Nerode and M. Truszczyński, editors, Logic Programming and Non-Monotonic Reasoning, LNAI 928, pp. 189–202, Springer Verlag, 1995.
D. Zacca, Deterministic and Non-Deterministic Stable Model Semantics for Unbound DATALOG queries, in: G. Gottlob, M. Vardi, editors, Database Theory — ICDT'95, Springer Verlag, 1995.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag
About this paper
Cite this paper
Witteveen, C., van der Hoek, W. (1996). Some postulates for nonmonotonic theory revision applied to logic programming. In: Dyckhoff, R., Herre, H., Schroeder-Heister, P. (eds) Extensions of Logic Programming. ELP 1996. Lecture Notes in Computer Science, vol 1050. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60983-0_21
Download citation
DOI: https://doi.org/10.1007/3-540-60983-0_21
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60983-4
Online ISBN: 978-3-540-49751-6
eBook Packages: Springer Book Archive