Selective revision
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 ⊢ α →...
Guardado en:
| Autor principal: | |
|---|---|
| Otros Autores: | |
| Formato: | Capítulo de libro |
| Lenguaje: | Inglés |
| Publicado: |
Springer Netherlands
1999
|
| Acceso en línea: | Registro en Scopus DOI Handle Registro en la Biblioteca Digital |
| Aporte de: | Registro referencial: Solicitar el recurso aquí |
| LEADER | 03964caa a22005057a 4500 | ||
|---|---|---|---|
| 001 | PAPER-2492 | ||
| 003 | AR-BaUEN | ||
| 005 | 20230518203153.0 | ||
| 008 | 190411s1999 xx ||||fo|||| 00| 0 eng|d | ||
| 024 | 7 | |2 scopus |a 2-s2.0-53149133925 | |
| 040 | |a Scopus |b spa |c AR-BaUEN |d AR-BaUEN | ||
| 100 | 1 | |a Fermé, E.L. | |
| 245 | 1 | 0 | |a Selective revision |
| 260 | |b Springer Netherlands |c 1999 | ||
| 270 | 1 | 0 | |m Fermé, E.L.; Department of Computer Science, Buenos Aires University, Pab. I - Ciudad Universitaria, 1428 Buenos Aires, Argentina; email: ferme@dc.uba.ar |
| 506 | |2 openaire |e Política editorial | ||
| 504 | |a 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 | ||
| 504 | |a 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.) | ||
| 504 | |a Alchourrón, C., Makinson, D., On the logic of theory change: Contraction functions and their associated revision functions (1982) Theoria, 48, pp. 14-37 | ||
| 504 | |a Cantwell, J., On the logic of small change in hypertheories (1997) Theoria, 63, pp. 54-89 | ||
| 504 | |a Gärdenfors, P., (1988) Knowledge in Flux: Modeling the Dynamics of Epistemic States, , The MIT Press, Cambridge | ||
| 504 | |a Hansson, S.O., (1991) Belief Base Dynamics, , PhD thesis, Uppsala University | ||
| 504 | |a Hansson, S.O., Semi-revision (1997) Journal of Applied Non-Classical Logic, 7 (1-2), pp. 151-175 | ||
| 504 | |a Hansson, S.O., (1999) A Textbook of Belief Dynamics. Theory Change and Database Updating, 11. , the Applied Logic Series, Kluwer Academic Publishers, Dordrecht | ||
| 504 | |a 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 | ||
| 504 | |a Makinson, D., Screened revision (1997) Theoria, 63, pp. 54-89 | ||
| 504 | |a Olsson, E., (1997) Coherence, , PhD thesis, Uppsala University | ||
| 504 | |a Van Benthem, J., (1991) The Logic of Time, Second Edition, , Kluwer Academic Publisher | ||
| 520 | 3 | |a 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. |l eng | |
| 593 | |a Department of Computer Science, Buenos Aires University, Pab. I - Ciudad Universitaria, 1428 Buenos Aires, Argentina | ||
| 593 | |a Department of Philosophy, Stockholm University, 106-91 Stockholm, Sweden | ||
| 690 | 1 | 0 | |a BELIEF CHANGE |
| 690 | 1 | 0 | |a BELIEF REVISION |
| 690 | 1 | 0 | |a CHOICE FUNCTION |
| 690 | 1 | 0 | |a NON-PRIORITIZED REVISION |
| 690 | 1 | 0 | |a SUCCESS POSTULATE |
| 700 | 1 | |a Ove Sven, H. | |
| 773 | 0 | |d Springer Netherlands, 1999 |g v. 63 |h pp. 331-342 |k n. 3 |p Stud. Logica |x 00393215 |w (AR-BaUEN)CENRE-365 |t Studia Logica | |
| 856 | 4 | 1 | |u https://www.scopus.com/inward/record.uri?eid=2-s2.0-53149133925&doi=10.1023%2fA%3a1005294718935&partnerID=40&md5=52270f8885e3aff99c14216746ceceaa |y Registro en Scopus |
| 856 | 4 | 0 | |u https://doi.org/10.1023/A:1005294718935 |y DOI |
| 856 | 4 | 0 | |u https://hdl.handle.net/20.500.12110/paper_00393215_v63_n3_p331_Ferme |y Handle |
| 856 | 4 | 0 | |u https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_00393215_v63_n3_p331_Ferme |y Registro en la Biblioteca Digital |
| 961 | |a paper_00393215_v63_n3_p331_Ferme |b paper |c PE | ||
| 962 | |a info:eu-repo/semantics/article |a info:ar-repo/semantics/artículo |b info:eu-repo/semantics/publishedVersion | ||
| 999 | |c 63445 | ||