Abstract
We propose a formalism for specifying revisions in knowledge bases and belief sets. This formalism extends logic programming with stable model semantics. Main objects of our system are revision programs consisting of revision rules. A revision rule expresses a specification of change or a constraint on a knowledge base. There are two types of revision rules. In-rules require that an element be in a knowledge base whenever some other elements are in the knowledge base and yet other elements are absent from it. Similar conditions in an out-rule force the absence of an element from the knowledge base.
For a revision program P we introduce the notion of a P-justified revision, which we use to specify the meaning of the program. Main motivation for our formalism and for the semantics of P-justified revisions comes from default logic and logic programming with stable model semantics. In the paper, we show that if a knowledge base B is a model of a program P then B is the unique P-justified revision of B. We show that P-justified revisions are models of P. We also show that P-justified revisions of a given knowledge base satisfy some minimality criterion. We outline the proof theory for revision programs and show its adequacy for the proposed semantics. We generalize the notion of a revision program to the case of disjunctive revision programs. A simple example of an application is also discussed.
Preview
Unable to display preview. Download preview PDF.
References
C. E. 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.
K. Apt. Logic programming. In J. van Leeuven, editor, Handbook of theoretical computer science, pages 493–574. MIT Press, Cambridge, MA, 1990.
S. Abiteboul and V. Vianu. Procedural languages for database queries and updates. Journal of Computer and System Sciences, 41:181–229, 1990.
S. Abiteboul and V. Vianu. Datalog extensions for database queries and updates. Journal of Computer and System Sciences, 43:62–124, 1991.
J. Doyle. A truth maintenance system. Artificial Intelligence, 12:231–272, 1979.
M. Gelfond and V. Lifschitz. The stable semantics for logic programs. In R. Kowalski and K. Bowen, editors, Proceedings of the 5th international symposium on logic programming, pages 1070–1080, Cambridge, MA., 1988. MIT Press.
M. Gelfond and V. Lifschitz. Classical negation in logic programs and disjunctive databases. New Generation Computing, 9:365–385, 1991.
W. Marek, A. Nerode, and J.B. Remmel. Nonmonotonic rule systems I. Annals of Mathematics and Artificial Intelligence, 1:241–273, 1990.
W. Marek and M. Truszczyński. Stable semantics for logic programs and default theories. In E. Lusk and R. Overbeek, editors, Proceedings of the North American conference on logic programming, pages 243–256, Cambridge, MA., 1989. MIT Press.
S. Manchanda and D.S. Warren. A logic-based language for database updates. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 363–394, Los Altos, CA, 1988. Morgan Kaufmann.
R. Reiter. A logic for default reasoning. Artificial Intelligence, 13:81–132, 1980.
J.D. Ullman. Principles of Database and Knowledge-Base Systems. Computer Science Press, Rockville, MD, 1988.
M. Winslett. Updating Logical Databases. Cambridge University Press, 1990.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Marek, V.W., Truszczyński, M. (1994). Revision specifications by means of programs. 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/BFb0021968
Download citation
DOI: https://doi.org/10.1007/BFb0021968
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