Weakening conflicting information for iterated revision and knowledge integration

DOI10.1016/j.artint.2003.08.003zbMath1085.68156OpenAlexW2168727683MaRDI QIDQ814566

Souhila Kaci, Daniel Le Berre, Mary-Anne Williams, Salem Benferhat

Publication date: 7 February 2006

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

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

zbMATH Keywords

CompilationBelief revision

Mathematics Subject Classification ID

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

Related Items

Implementing Prioritized Merging with ASP, Preferential multi-context systems, Nonmonotonic probabilistic logics under variable-strength inheritance with overriding: complexity, algorithms, and implementation, Merging operators on stratified belief bases equipped with argumentative inference, Parallel belief revision: revising by sets of formulas, Stratified belief bases revision with argumentative inference, COBA 2.0: A Consistency-Based Belief Change System, Incompatibilities Between Iterated and Relevance-Sensitive Belief Revision, Accommodative Belief Revision, Combining multiple prioritized knowledge bases by negotiation, Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics, AGM 25 years. Twenty-five years of research in belief change, Knowledge Base Stratification and Merging Based on Degree of Support, A Panorama of Iterated Revision, An overview of possibilistic handling of default reasoning, with experimental studies, Approaches to measuring inconsistency for stratified knowledge bases, Weakening conflicting information for iterated revision and knowledge integration, A nonmonotonic observation logic

Uses Software

• DIMACS

Cites Work

• On stratified belief base compilation
• Weakening conflicting information for iterated revision and knowledge integration
• On the complexity of propositional knowledge base revision, updates, and counterfactuals
• On the logic of iterated belief revision
• Another perspective on default reasoning
• On the logic of theory change: Partial meet contraction and revision functions
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item