Navegar

Colección

Datos Estadísticas

Artículo

Estamos trabajando para incorporar este artículo al repositorio
Consulte el artículo en la página del editor
Consulte la política de Acceso Abierto del editor

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.

Registro:

Documento: Artículo
Título:Selective revision
Autor:Fermé, E.L.; Ove Sven, H.
Filiación:Department of Computer Science, Buenos Aires University, Pab. I - Ciudad Universitaria, 1428 Buenos Aires, Argentina
Department of Philosophy, Stockholm University, 106-91 Stockholm, Sweden
Palabras clave:Belief change; Belief revision; Choice function; Non-prioritized revision; Success postulate
Año:1999
Volumen:63
Número:3
Página de inicio:331
Página de fin:342
DOI: http://dx.doi.org/10.1023/A:1005294718935
Título revista:Studia Logica
Título revista abreviado:Stud. Logica
ISSN:00393215
Registro:https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_00393215_v63_n3_p331_Ferme

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