A consistency-based approach for belief change

DOI10.1016/S0004-3702(03)00111-5zbMath1082.68818OpenAlexW2028246200MaRDI QIDQ814523

Torsten Schaub, James P. 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

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

Related Items (15)

A consistency-based framework for merging knowledge bases ⋮ An Implementation of Consistency-Based Multi-agent Belief Change Using ASP ⋮ Graph-Based Belief Merging ⋮ A general framework for computing maximal contractions ⋮ A decomposition based algorithm for maximal contractions ⋮ An algebraic approach to revising propositional rule-based knowledge bases ⋮ Parallel belief revision: revising by sets of formulas ⋮ COBA 2.0: A Consistency-Based Belief Change System ⋮ Incompatibilities Between Iterated and Relevance-Sensitive Belief Revision ⋮ Geodesic merging ⋮ AGM 25 years. Twenty-five years of research in belief change ⋮ A program-level approach to revising logic programs under the answer set semantics ⋮ Remedying inconsistent sets of premises ⋮ A Panorama of Iterated Revision ⋮ A consistency-based approach for belief change

Uses Software

• CCalc

Cites Work

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

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