Artículo
Hansson, S.O; Fermé, E.L.; Cantwell, J.; Falappa, M.A. "Credibility limited revision" (2001) Journal of Symbolic Logic. 66(4):1581-1596
Estamos trabajando para incorporar este artículo al repositorio
Consulte la política de Acceso Abierto del editor
Abstract:
Five types of constructions are introduced for non-prioritized belief revision, i.e., belief revision in which the input sentence is not always accepted. These constructions include generalizations of entrenchment-based and sphere-based revision. Axiomatic characterizations are provided, and close interconnections are shown to hold between the different constructions.
Registro:
| Documento: | Artículo |
| Título: | Credibility limited revision |
| Autor: | Hansson, S.O; Fermé, E.L.; Cantwell, J.; Falappa, M.A. |
| Filiación: | Philosophy Unit, Royal Institute of Technology, 100 44 Stockholm, Sweden Departamento de Computatión, Fac. de Ciencias Exactas y Naturales, Universidad de Buenos Aires, Buenos Aires, Argentina Depto. de Cie. de la Computacion, Universidad Nacional del Sur, av. Alem 1253 (8000), Bahía Blanca, Argentina |
| Año: | 2001 |
| Volumen: | 66 |
| Número: | 4 |
| Página de inicio: | 1581 |
| Página de fin: | 1596 |
| DOI: | http://dx.doi.org/10.2307/2694963 |
| Título revista: | Journal of Symbolic Logic |
| Título revista abreviado: | J. Symb. Logic |
| ISSN: | 00224812 |
| Registro: | https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_00224812_v66_n4_p1581_Hansson |
Referencias:
- Alchourrón, C., Gärdenfors, P., Makinson, D., (1985) On the Logic of Theory Change: Partial Meet Contraction and Revision Functions, 50, pp. 510-530. , this JOURNAL
- Cantwell, J., Some logics of iterated belief change (1999) Studia Logica, 63, pp. 49-84
- Fermé, E.L., Hansson, S.O., Selective revision (1999) Studia Logica, 63, pp. 331-342
- Fuhrmann, A., Studies in logic, language and information (1997) An Essay on Contraction, , CSLI Publications, Stanford
- Gärdenfors, P., (1988) Knowledge in Flux: Modeling the Dynamics of Epistemic States, , The MIT Press, Cambridge, Massachusetts
- Gärdenfors, P., Makinson, D., Revisions of knowledge systems using epistemic entrenchment (1988) Second Conference on Theoretical Aspects of Reasoning about Knowledge. 83-95, 1988., pp. 83-95
- Gärdenfors, P., Rott, H., Belief revision (1995) Handbook of Logic in AI and Logic Programming, Oxford University Press, Oxford,, pp. 35-92. , Gabbay, Hogger and Robinson (eds.)
- Grove, A., Two modellings for theory change (1988) Journal of Philosophical Logic, 17, pp. 157-170
- Ove Hansson, S., (1991) Belief Base Dynamics, , Ph.D. thesis, Uppsala University, Department of Philosophy, Uppsala, Sweden
- A test battery for rational database updating (1996) Artificial Intelligence, 82, pp. 341-352
- Semi-revision (1997) Journal of Applied Non-classical Logic, 7, pp. 151-175
- (1999) A Textbook of Belief Dynamics, , Kluwer
- Katsuno, H., Mendelzon, A., On the difference between updating a knowledge base and revising it (1992) Belief Revision, pp. 183-203. , P. Gärdenfors (ed.), Cambridge University Press, Cambridge
- Lindström, S., Rabinowicz, W., Epistemic entrenchment with incomparabilities and relational belief revision (1991) The Logic of Theory Change, pp. 93-126. , A. Fuhrmann and M. Morreau (ed.), Springer-Verlag, Berlin
- Makinson, D., Screened revision (1997) Theoria, 63, pp. 14-23
- Olsson, E.J., (1997) Coherence, , Ph.D. thesis, Uppsala University, Department of Philosophy, Uppsala, Sweden
- A coherence interpretation of semi-revision (1997) Theoria, 63, pp. 105-134
- Rott, H., A nonmonotonic conditional logic for belief revision; part 1: Semantics and logic of simple conditionals (1991) The Logic of Theory Change, pp. 135-181. , A. Fuhrmann and M. Morreau (ed.), Springer-Verlag, Berlin
- Wassermann, R., Ove Hansson, S., (1998) Local Change, , Manuscript
Citas:
---------- APA ----------
Hansson, S.O, Fermé, E.L., Cantwell, J. & Falappa, M.A. (2001) . Credibility limited revision. Journal of Symbolic Logic, 66(4), 1581-1596.http://dx.doi.org/10.2307/2694963
---------- CHICAGO ----------
Hansson, S.O, Fermé, E.L., Cantwell, J., Falappa, M.A.. "Credibility limited revision" . Journal of Symbolic Logic 66, no. 4 (2001) : 1581-1596.http://dx.doi.org/10.2307/2694963
---------- MLA ----------
Hansson, S.O, Fermé, E.L., Cantwell, J., Falappa, M.A.. "Credibility limited revision" . Journal of Symbolic Logic, vol. 66, no. 4, 2001, pp. 1581-1596.http://dx.doi.org/10.2307/2694963
---------- VANCOUVER ----------
Hansson, S.O, Fermé, E.L., Cantwell, J., Falappa, M.A.. Credibility limited revision. J. Symb. Logic. 2001;66(4):1581-1596.http://dx.doi.org/10.2307/2694963
