Propositional belief base update and minimal change

DOI10.1016/S0004-3702(99)00072-7zbMath0939.68852MaRDI QIDQ1978472

O. Rifi, Andreas Herzig

Publication date: 4 June 2000

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

zbMATH Keywords

causalitybelief changeintegrity constraintsdependenceminimal changebelief updatepossible models approachupdate postulates

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Related Items

On the logic of theory change: Partial meet contraction and revision functions, Argumentation update in YALLA (yet another logic language for argumentation), The sound and complete R-calculus for revising propositional theories, Belief Update Within Propositional Fragments, A Unifying Perspective on Knowledge Updates, The rise and fall of semantic rule updates based onSE-models, A sound and complete \(R\)-calculi with respect to contraction and minimal change, On the logic of theory change iteration of KM-update, Prime forms and minimal change in propositional belief bases, Revising system specifications in temporal logic, On updates of hybrid knowledge bases composed of ontologies and rules, Knowledge updates: Semantics and complexity issues, Propositional belief base update and minimal change, Abstract Argumentation in Dynamic Logic: Representation, Reasoning and Change, Confluence operators and their relationships with revision, update and merging, Towards closed world reasoning in dynamic open worlds, A sound and complete model-generation procedure for consistent and confidentiality-preserving databases, Conditioning and updating evidence, Relevance Sensitive Non-Monotonic Inference on Belief Sequences, Distance-Based Semantics for C-Structure Belief Revision, Efficient multi-agent epistemic planning: teaching planners about nested belief, Actions, Belief Update, and DDL, A Logical Splitting Strategy for the Belief Structure of Agents, Expressivity and completeness for public update logics via reduction axioms, Knowledge forgetting: properties and applications, Gricean belief change, Relevance in Belief Update, On Quantifying Literals in Boolean Logic and its Applications to Explainable AI

Cites Work

• Foundations of a functional approach to knowledge representation
• Frames in the space of situations
• Propositional knowledge base revision and minimal change
• On the complexity of propositional knowledge base revision, updates, and counterfactuals
• Deriving properties of belief update from theories of action
• Counterfactuals and updates as inverse modalities
• The complexity of belief update
• Propositional belief base update and minimal change
• Non monotonic reasoning and belief revision: syntactic, semantic, foundational and coherence approaches
• How to Do Things with Worlds: on Formalizing Actions and Plans
• Interference logic = conditional logic + frame axiom
• A Unified View of Belief Revision and Update
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item