Minimal change: relevance and recovery revisited

DOI10.1016/j.artint.2013.06.001zbMath1334.03012OpenAlexW2011667634WikidataQ58198071 ScholiaQ58198071MaRDI QIDQ490421

Giorgos Flouris, Grigoris Antoniou, Renata Wassermann, Márcio Moretto Ribeiro

Publication date: 27 August 2015

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.artint.2013.06.001

zbMATH Keywords

relevancebelief revisionbelief changerecoveryAGM theoryminimal change

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42)

Related Items

DL-Lite Ontology Revision Based on An Alternative Semantic Characterization ⋮ Inter-definability of Horn contraction and Horn revision ⋮ Morphologic for knowledge dynamics: revision, fusion and abduction ⋮ Partial meet pseudo-contractions ⋮ Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics ⋮ Revising event calculus theories to recover from unexpected observations

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Belief revision within fragments of propositional logic
• On AGM for non-classical logics
• Intuitionism. An introduction
• On the logic of theory change: safe contraction
• On the status of the postulate of recovery in the logic of theory change
• First degree entailments
• Belief contraction without recovery
• A survey of multiple contractions
• Local change
• A textbook of belief dynamics. Theory change and database updating
• Base Revision for Ontology Debugging
• On the logic of theory change: Partial meet contraction and revision functions
• Horn Contraction via Epistemic Entrenchment
• On sentences which are true of direct unions of algebras