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 ⊢ α →...
| Autores principales: | , |
|---|---|
| Formato: | JOUR |
| Materias: | |
| Acceso en línea: | http://hdl.handle.net/20.500.12110/paper_00393215_v63_n3_p331_Ferme |
| Aporte de: |
| Sumario: | 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. |
|---|