Abstract
This paper proposes a syntax-based revision-procedure for belief sets structured by an arbitrary relevance pre-ordcr and an elementary epistemic dependency relation and investigates the consequences for the Gaerdenforsian rationality postulates. In particular, it generalizes Nebel's epistemic relevance revision.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Alchourrón, C., Gärdenfors, P. and Makinson, D.: 1985, On the Logic of Theory Change: Partial Meet Contraction and Revision Functions, Journal of Symbolic Logic50, 510–530.
Alchourrón, C. and Makinson, D.: 1985, On the Logic of Theory Change: Safe Contraction, Studia Logica44, 405–422.
Doyle, J.: 1991, Rational Belief Revision (preliminary report). In Principles of Knowledge Representation and Reasoning: Proceedings of the Second International Conference, J.A. Allen et al. (eds.), Morgan Kaufmann, CA, pp. 163–174.
Gärdenfors, P.: 1988, Knowledge in Flux: Modeling the Dynamics of Epistemic States, Bradford Books, MIT Press, Cambridge, Mass..
Gärdenfors, P. and Makinson, D.: 1988, Revisions of Knowledge Systems using Epistemic Entrenchment. In Theoretical Aspects of Reasoning about Knowledge, M. Vardi (ed.), Morgan Kaufmann, Los Altos, pp. 83–95.
Katsuno, H. and Mendelzon, A.O.: 1991, Propositional Knowledge Base Revision and Minimal Change. In Artificial Intelligence52, pp. 263–294.
Lindström, S. and Rabinowicz, W.: 1991, Epistemic Entrenchment with Incomparabilities and Relational Belief Revision. In The Logic of Theory Change, A. Fuhrmann and M. Morreau (eds.), Springer LNCS 465, Berlin etc., pp. 93–126.
Morreau, M.: 1992, Epistemic Semantics for Counterfactuals. In Journal of Philosophical Logic21, 33–62.
Nebel, B.: 1991, Belief Revision and Default Reasoning: Syntax-Based Approaches. In Principles of Knowledge Representation and Reasoning: Proceedings of the Second International Conference, J.A. Allen et al. (eds.), Morgan Kaufmann, CA, pp. 417–428.
Nebel, B.: 1992, Syntax-Based Approaches to Belief Revision. In Belief Revision, P. Gärdenfors (ed.), Cambridge University Press, Cambridge, forthcoming.
Rott, H.: 1991, A Nonmonotonic Conditional Logic for Belief Revision I. In The Logic of Theory Change, A. Fuhrmann and M. Morreau (eds.), Springer LNCS 465, Berlin etc., pp. 135–183.
Rott, H.: 1992, Preferential Belief Change using Generalized Epistemic Entrenchment, Journal of Logic, Language and Information, to appear.
Weydert, E.: 1991, Doxastic Preference Logic, a New Look at Belief Revison. In Logics in AI, J. van Eijck (ed.), Springer LNAI 478, Berlin etc., pp. 526–543.
Weydert, E.: 1992, Preferential Belief Revision. Manuscript.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Weydert, E. (1992). Relevance and revision. In: Pearce, D., Wagner, G. (eds) Logics in AI. JELIA 1992. Lecture Notes in Computer Science, vol 633. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0023425
Download citation
DOI: https://doi.org/10.1007/BFb0023425
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55887-3
Online ISBN: 978-3-540-47304-6
eBook Packages: Springer Book Archive