An investigation of parametrized difference revision operators

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

zbMATH Keywords

artificial intelligencebelief revisionknowledge representation and reasoningDalal's operatorparametrized difference revision operatorsParikh's relevance

Mathematics Subject Classification ID

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