Abstract:
We introduce a constructive model of selective belief revision in which it is possible to accept only a part of the input information. A selective revision operator o is defined by the equality K o α = K * f(α), where * is an AGM revision operator and f a function, typically with the property ⊢ α → f(α). Axiomatic characterizations are provided for three variants of selective revision. © 1999 Kluwer Academic Publishers.
Referencias:
- Alchourrón, C., Gärdenfors, P., Makinson, D., On the logic of theory change: Partial meet contraction and revision functions (1985) Journal of Symbolic Logic, 50, pp. 510-530
- Alchourrón, C., Makinson, D., Hierarchies of regulations and their logic (1981) New Studies in Deontic Logic: Norms, Actions, and the Foundations of Ethics, pp. 125-148. , R. Hilpinen (ed.)
- Alchourrón, C., Makinson, D., On the logic of theory change: Contraction functions and their associated revision functions (1982) Theoria, 48, pp. 14-37
- Cantwell, J., On the logic of small change in hypertheories (1997) Theoria, 63, pp. 54-89
- Gärdenfors, P., (1988) Knowledge in Flux: Modeling the Dynamics of Epistemic States, , The MIT Press, Cambridge
- Hansson, S.O., (1991) Belief Base Dynamics, , PhD thesis, Uppsala University
- Hansson, S.O., Semi-revision (1997) Journal of Applied Non-Classical Logic, 7 (1-2), pp. 151-175
- Hansson, S.O., (1999) A Textbook of Belief Dynamics. Theory Change and Database Updating, 11. , the Applied Logic Series, Kluwer Academic Publishers, Dordrecht
- Katsuno, H., Mendelzon, A., On the difference between updating a knowledge base and revising it (1992) Belief Revision, (29), pp. 183-203. , P. Gärdenfors (ed.), Cambridge Tracts in Theoretical Computer Science, Cambridge University Press
- Makinson, D., Screened revision (1997) Theoria, 63, pp. 54-89
- Olsson, E., (1997) Coherence, , PhD thesis, Uppsala University
- Van Benthem, J., (1991) The Logic of Time, Second Edition, , Kluwer Academic Publisher
Citas:
---------- APA ----------
Fermé, E.L. & Ove Sven, H.
(1999)
. Selective revision. Studia Logica, 63(3), 331-342.
http://dx.doi.org/10.1023/A:1005294718935---------- CHICAGO ----------
Fermé, E.L., Ove Sven, H.
"Selective revision"
. Studia Logica 63, no. 3
(1999) : 331-342.
http://dx.doi.org/10.1023/A:1005294718935---------- MLA ----------
Fermé, E.L., Ove Sven, H.
"Selective revision"
. Studia Logica, vol. 63, no. 3, 1999, pp. 331-342.
http://dx.doi.org/10.1023/A:1005294718935---------- VANCOUVER ----------
Fermé, E.L., Ove Sven, H. Selective revision. Stud. Logica. 1999;63(3):331-342.
http://dx.doi.org/10.1023/A:1005294718935