Propositional belief base update and minimal change

DOI10.1016/S0004-3702(99)00072-7MaRDI QIDQ1978472zbMATH OpenFDO

Authors O. Rifi, Andreas Herzig

Publication date 4 June 2000

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0004-3702(99)00072-7

zbMATH Keywords

belief changebelief updatecausalitydependenceintegrity constraintsminimal changepossible models approachupdate postulates

Mathematics Subject Classification ID

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

Recommendations

• Propositional knowledge base revision and minimal change
• Belief update within propositional fragments
• Belief Update within Propositional Fragments
• scientific article; zbMATH DE number 1269568
• A model of minimal probabilistic belief revision
• Relevant minimal change in belief update
• scientific article; zbMATH DE number 4060766
• Update of Probabilistic Beliefs: Implementation and Parametric Verification
• scientific article; zbMATH DE number 1269565
• scientific article; zbMATH DE number 1882053

Cites work

• A Unified View of Belief Revision and Update
• Counterfactuals and updates as inverse modalities
• Deriving properties of belief update from theories of action
• Foundations of a functional approach to knowledge representation
• Frames in the space of situations
• How to Do Things with Worlds: on Formalizing Actions and Plans
• scientific article; zbMATH DE number 3708349 (Why is no real title available?)
• scientific article; zbMATH DE number 44621 (Why is no real title available?)
• scientific article; zbMATH DE number 49082 (Why is no real title available?)
• scientific article; zbMATH DE number 140392 (Why is no real title available?)
• scientific article; zbMATH DE number 140403 (Why is no real title available?)
• scientific article; zbMATH DE number 1269568 (Why is no real title available?)
• scientific article; zbMATH DE number 1032007 (Why is no real title available?)
• scientific article; zbMATH DE number 1546503 (Why is no real title available?)
• scientific article; zbMATH DE number 1444718 (Why is no real title available?)
• scientific article; zbMATH DE number 4185089 (Why is no real title available?)
• Interference logic = conditional logic + frame axiom
• Knowledge in flux. Modeling the dynamics of epistemic states
• Non monotonic reasoning and belief revision: syntactic, semantic, foundational and coherence approaches
• On the complexity of propositional knowledge base revision, updates, and counterfactuals
• Propositional belief base update and minimal change
• Propositional knowledge base revision and minimal change
• The complexity of belief update

Cited in

(44)

• Knowledge forgetting: properties and applications
• Five faces of minimality
• The complexity of belief update
• Propositional belief base update and minimal change
• Efficient multi-agent epistemic planning: teaching planners about nested belief
• Confluence operators and their relationships with revision, update and merging
• A sound and complete \(R\)-calculi with respect to contraction and minimal change
• Knowledge updates: Semantics and complexity issues
• Gricean belief change
• Argumentation update in YALLA (yet another logic language for argumentation)
• A Unifying Perspective on Knowledge Updates
• The rise and fall of semantic rule updates based on SE-models
• Propositional update operators based on formula/literal dependence
• Abstract Argumentation in Dynamic Logic: Representation, Reasoning and Change
• Belief update within propositional fragments
• Irrelevant Updates and Nonmonotonic Assumptions
• Towards closed world reasoning in dynamic open worlds
• Compositional belief update
• Distance-Based Semantics for C-Structure Belief Revision
• A logical splitting strategy for the belief structure of agents
• Expressivity and completeness for public update logics via reduction axioms
• On the logic of theory change: Partial meet contraction and revision functions
• scientific article; zbMATH DE number 4094868 (Why is no real title available?)
• scientific article; zbMATH DE number 1269568 (Why is no real title available?)
• scientific article; zbMATH DE number 517036 (Why is no real title available?)
• Relevance Sensitive Non-Monotonic Inference on Belief Sequences
• Belief Update within Propositional Fragments
• scientific article; zbMATH DE number 219220 (Why is no real title available?)
• scientific article; zbMATH DE number 1420814 (Why is no real title available?)
• Actions, belief update, and DDL
• Relevance in belief update
• On quantifying literals in Boolean logic and its applications to explainable AI
• The sound and complete R-calculus for revising propositional theories
• A sound and complete model-generation procedure for consistent and confidentiality-preserving databases
• scientific article; zbMATH DE number 4187148 (Why is no real title available?)
• On the logic of theory change iteration of KM-update
• Revising system specifications in temporal logic
• Prime forms and minimal change in propositional belief bases
• Reasoning about action and change
• Analysis of the syntactic computation of Fagin-Halpern conditioning in possibilistic logic
• A brief history of updates of answer-set programs
• Conditioning and updating evidence
• Representation results for belief update in closed fragments of propositional logic
• On updates of hybrid knowledge bases composed of ontologies and rules

This page was built for publication: Propositional belief base update and minimal change

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