Weakening conflicting information for iterated revision and knowledge integration

DOI10.1016/J.ARTINT.2003.08.003MaRDI QIDQ814566zbMATH OpenOpenAlexFDO

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

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

Belief revisionCompilation

Mathematics Subject Classification ID

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

Recommendations

• Iterated belief revision
• Stratified belief bases revision with argumentative inference
• scientific article; zbMATH DE number 2079769
• scientific article; zbMATH DE number 1785009
• Multi-source multiple change on belief bases

Cites work

• scientific article; zbMATH DE number 4174344 (Why is no real title available?)
• scientific article; zbMATH DE number 140406 (Why is no real title available?)
• scientific article; zbMATH DE number 1269566 (Why is no real title available?)
• scientific article; zbMATH DE number 1269569 (Why is no real title available?)
• scientific article; zbMATH DE number 1302018 (Why is no real title available?)
• scientific article; zbMATH DE number 1303450 (Why is no real title available?)
• scientific article; zbMATH DE number 592370 (Why is no real title available?)
• scientific article; zbMATH DE number 1785006 (Why is no real title available?)
• scientific article; zbMATH DE number 956839 (Why is no real title available?)
• Another perspective on default reasoning
• Knowledge in flux. Modeling the dynamics of epistemic states
• On stratified belief base compilation
• On the complexity of propositional knowledge base revision, updates, and counterfactuals
• On the logic of iterated belief revision
• On the logic of theory change: Partial meet contraction and revision functions
• Possibilistic logic: Complexity and algorithms
• Weakening conflicting information for iterated revision and knowledge integration

Cited in

(18)

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

Describes a project that uses

Uses Software

• DIMACS

This page was built for publication: Weakening conflicting information for iterated revision and knowledge integration

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q814566)