Abstract:
The postulate of Recovery, among the six postulates for theory contraction, formulated and studied by Alchourrón, Gärdenfors and Makinson is the one that has provoked most controversy. In this article we construct withdrawal functions that do not satisfy Recovery, but try to preserve minimal change, and relate these withdrawal functions with the AGM contraction functions. © 1998 Kluwer Academic Publishers.
Registro:
Documento: |
Artículo
|
Título: | On the logic of theory change: Contraction without recovery |
Autor: | Fermé, E.L. |
Filiación: | Grupo de Investigatión y Desarrollo en Inteligencia Artificial (GIDIA), Departamento de Computación, Pabellón I Ciudad Universitaria (1428), Buenos Aires, Argentina
|
Palabras clave: | AGM theory; Belief contraction; Harper identity; Levi identity; Recovery postulate; Theory change |
Año: | 1998
|
Volumen: | 7
|
Número: | 2
|
Página de inicio: | 127
|
Página de fin: | 137
|
DOI: |
http://dx.doi.org/10.1023/A:1008241816078 |
Título revista: | Journal of Logic, Language and Information
|
Título revista abreviado: | J. Logic Lang. Inf.
|
ISSN: | 09258531
|
Registro: | https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_09258531_v7_n2_p127_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., On the logic of theory change: Contraction functions and their associated revision functions (1982) Theoria, 48, pp. 14-37
- Alchourrón, C., Makinson, D., The logic of theory change: Safe contraction (1985) Studia Logica, 44, pp. 405-422
- Fuhrmann, A., Theory contraction through base contraction (1991) Journal of Philosophical Logic, 20, pp. 175-203
- Fuhrmann, A., Hansson, S.O., A survey of multiple contraction (1995) Journal of Logic, Language, and Information, 3, pp. 39-80
- Gärdenfors, P., (1988) Knowledge in Flux: Modeling the Dynamics of Epistemic States, , Cambridge, MA: MIT Press
- Gärdenfors, P., Makinson, D., Revision of knowledge systems using epistemic entrenchment (1988) Second Conference on Theoretical Aspects of Reasoning about Knowledge, pp. 83-95
- Hansson, S.O., Belief contraction without recovery (1991) Studia Logica, 50, pp. 251-260
- Hansson, S.O., Changes of disjunctively closed bases (1993) Journal of Logic, Language, and Information, 2, pp. 255-284
- Hansson, S.O., Olsson, E., Levi contraction and AGM contraction. A comparision (1995) Notre Dame Journal of Formal Logic, 36, pp. 103-119
- Makinson, D., On the status of the postulate of recovery in the logic of theory change (1987) Journal of Philosophical Logic, 16, pp. 383-394
- Makinson, D., On the force of some apparent counterexamples to recovery (1996) Festschrift for Carlos Alchourrón and Eugenio Bulygin, , Gift von Wright and E. Garzon Valdéz, eds., Berlin: Duncker & Humblot, to appear
- Nayak, A., Foundational belief change (1994) Journal of Philosophical Logic, 23, pp. 495-534
- Rott, H., 'Just Because'. Taking belief bases very seriously (1995) Logic for a Change, Uppsala Prints and Preprints in Philosophy, 9, pp. 106-124
- Williams, M.-A., On the logic of theory base change (1994) Language, Belief and Metaphysics, pp. 95-111. , Albany: State University of New York Press
Citas:
---------- APA ----------
(1998)
. On the logic of theory change: Contraction without recovery. Journal of Logic, Language and Information, 7(2), 127-137.
http://dx.doi.org/10.1023/A:1008241816078---------- CHICAGO ----------
Fermé, E.L.
"On the logic of theory change: Contraction without recovery"
. Journal of Logic, Language and Information 7, no. 2
(1998) : 127-137.
http://dx.doi.org/10.1023/A:1008241816078---------- MLA ----------
Fermé, E.L.
"On the logic of theory change: Contraction without recovery"
. Journal of Logic, Language and Information, vol. 7, no. 2, 1998, pp. 127-137.
http://dx.doi.org/10.1023/A:1008241816078---------- VANCOUVER ----------
Fermé, E.L. On the logic of theory change: Contraction without recovery. J. Logic Lang. Inf. 1998;7(2):127-137.
http://dx.doi.org/10.1023/A:1008241816078