An investigation of parametrized difference revision operators
From MaRDI portal
Publication:2029703
DOI10.1007/s10472-019-09625-xOpenAlexW2925120185MaRDI QIDQ2029703
Pavlos Peppas, Theofanis Aravanis, Mary-Anne Williams
Publication date: 4 June 2021
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10472-019-09625-x
artificial intelligencebelief revisionknowledge representation and reasoningDalal's operatorparametrized difference revision operatorsParikh's relevance
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42)
Related Items (5)
Generalizing Parikh’s Criterion for Relevance-Sensitive Belief Revision ⋮ Theory-relational belief revision ⋮ An Epistemological Study of Theory Change ⋮ Unnamed Item ⋮ Relevance in Belief Update
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Two axiomatic characterizations for the system of spheres-based (and the epistemic entrenchment-based) multiple contractions
- Two methods of constructing contractions and revisions of knowledge systems
- Relevance in belief revision
- Two modellings for theory change
- Propositional knowledge base revision and minimal change
- On the logic of iterated belief revision
- Conflict-driven answer set solving: from theory to practice
- Constructive modelings for theory change
- Belief revision in Horn theories
- Kinetic Consistency and Relevance in Belief Revision
- Entrenchment-Based Horn Contraction
- Maps in Multiple Belief Change
- On the logic of theory change: Partial meet contraction and revision functions
- Measuring similarity in belief revision
- A Panorama of Iterated Revision
This page was built for publication: An investigation of parametrized difference revision operators