A consistency-based approach for belief change

DOI10.1016/S0004-3702(03)00111-5zbMATH Open1082.68818OpenAlexW2028246200MaRDI QIDQ814523FDOQ814523

Torsten Schaub, James Delgrande

Publication date: 7 February 2006

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

Full work available at URL: https://doi.org/10.1016/s0004-3702(03)00111-5

zbMATH Keywords

Belief changeBelief revision and contractionConsistency-based reasoning

Mathematics Subject Classification ID

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

Cites Work

• Two modellings for theory change
• A textbook of belief dynamics. Theory change and database updating
• Change, choice and inference. A study of belief revision and nonmonotonic reasoning
• On the logic of theory change: Partial meet contraction and revision functions
• Title not available (Why is that?)
• A theory of diagnosis from first principles
• Propositional knowledge base revision and minimal change
• Title not available (Why is that?)
• A glance at revision and updating in knowledge bases
• A logic for default reasoning
• On the logic of iterated belief revision
• A logical framework for default reasoning
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the complexity of propositional knowledge base revision, updates, and counterfactuals
• Unifying default reasoning and belief revision in a modal framework
• Title not available (Why is that?)
• A consistency-based approach for belief change
• Signed systems for paraconsistent reasoning
• Title not available (Why is that?)
• Title not available (Why is that?)
• Eliminating the fixed predicates from a circumscription
• Reducing belief revision to circumscription (and vice versa)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (30)

• Parallel belief revision: revising by sets of formulas
• COBA 2.0: A Consistency-Based Belief Change System
• Infobase change: A first approximation
• Graph-Based Belief Merging
• Local change
• AGM-like paraconsistent belief change
• A program-level approach to revising logic programs under the answer set semantics
• Geodesic merging
• A consistency-based approach for belief change
• An Implementation of Consistency-Based Multi-agent Belief Change Using ASP
• Multi-source multiple change on belief bases
• Belief affirming in learning processes
• An algebraic approach to revising propositional rule-based knowledge bases
• On Computing Belief Change Operations using Quantified Boolean Formulas
• A Panorama of Iterated Revision
• Title not available (Why is that?)
• A consistency-based framework for merging knowledge bases
• AGM 25 years. Twenty-five years of research in belief change
• Title not available (Why is that?)
• Preference Change Triggered by Belief Change: A Principled Approach
• Remedying inconsistent sets of premises
• Incompatibilities Between Iterated and Relevance-Sensitive Belief Revision
• Maps in Multiple Belief Change
• Implementation of belief change operators using BDDs
• Descriptor revision. Belief change through direct choice
• Title not available (Why is that?)
• Declarative Representation of Revision Strategies*
• A general framework for computing maximal contractions
• A decomposition based algorithm for maximal contractions
• Title not available (Why is that?)

Uses Software

• CCalc

   Recommendations

• Consistency-based revision of structured belief bases 👍 👎
• Title not available (Why is that?) 👍 👎
• COBA 2.0: A Consistency-Based Belief Change System 👍 👎
• A consistency-based framework for merging knowledge bases 👍 👎
• Compositional belief update 👍 👎

This page was built for publication: A consistency-based approach for belief change

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