Abstract
This paper gives several different translations between the transition model proposed for belief update in [6] and base revision [14], which sheds some new light on the links between update and revision.
This work is partially supported by the French national project entitled “Gestion de l'évolutif et de l'incertain” (Handling of Uncertainty in a Dynamical World)
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Salem Benferhat, Claudette Cayrol, Didier Dubois, Jérôme Lang and Henri Prade, Inconsistency management and prioritized syntax-based entailment, Proc. of IJCAI'93, 640–645.
Craig Boutilier, Abduction to plausible causes: an event-based model of belief update, Tech. Report 94-9, Department of Computer Science, University of British Columbia, March 94.
Gerd Brewka, Preferred subtheories: an extended logical framework for default reasoning, Proceedings of IJCAI'89, 1043–1048.
Gerd Brewka and Joachim Hertzberg, How to do things with worlds: on formalizing actions and plans, J. of Logic and Computation, 3(5), 1993.
Marie-Odile Cordier and Pierre Siegel, A temporal revision model for reasoning about world change, Proc. of KR'92, 732–739.
Marie-Odile Cordier and Pierre Siegel, Prioritised transitions for updates, Tech. Report IRISA (Rennes-France), nb. 884, 1994. Short version somewhere in this volume.
Thomas Dean and Keiji Kanazawa, A model for reasoning about persistence and causation, Computational Intelligence 5 (1989), 142–150.
Alvaro del Val and Yoav Shoham, Deriving properties of belief update from theories of action Part 1 in Proc. of AAAI'92, 584–589. Part 2 in Proc. of IJCAI'93, 732–737.
Didier Dubois, Florence Dupin de Saint-Cyr and Henri Prade, Updating, transition constraints and possibilistic Markov chains, Proc. of IPMU'94, 826–831.
Didier Dubois, Florence Dupin de Saint-Cyr and Henri Prade, Update postulates without inertia, somewhere in this volume.
Luis Fariñas del Cerro and Andreas Herzig, Revisions, updates and interference, in Logic, Action and Information (A. Fuhrmann, H. Rott eds.), DeGruyter, 1993.
Moises Goldszmidt and Judea Pearl, Rank-based systems: a simple approach to belief revision, belief update and reasoning about evidence and actions, Proc. KR'92, 661–672.
Hirofumi Katsuno and Alberto O. Mendelzon, On the difference between updating a knowledge base and revising it, Proc. of KR'91, 387–394.
Bernhard Nebel, Belief revision and default reasoning: syntax-based approaches, Proceedings of KR'91, 417–428.
Bernhard Nebel, Base revision operations and schemes: semantics, representation and complexity, Proceedings of ECAI'94, 341–345.
Hans Rott, Belief contraction in the context of the general theory of rational choice, Journal of Symbolic Logic 58 (1993), 1426–1450.
Erik Sandewall, The range of applicability of nonmonotonic logics for the inertia problem, Proc. if IJCAI'93, 738–743.
Erik Sandewall, Feature and Fluents, Oxford University Press, 1995.
Marianne Winslett, Reasoning about actions using a possible model approach, Proc. of AAAI'88, 89–93.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cordier, MO., Lang, J. (1995). Linking transition-based update and base revision. In: Froidevaux, C., Kohlas, J. (eds) Symbolic and Quantitative Approaches to Reasoning and Uncertainty. ECSQARU 1995. Lecture Notes in Computer Science, vol 946. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60112-0_16
Download citation
DOI: https://doi.org/10.1007/3-540-60112-0_16
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60112-8
Online ISBN: 978-3-540-49438-6
eBook Packages: Springer Book Archive