Propositional belief base update and minimal change

DOI10.1016/S0004-3702(99)00072-7zbMATH Open0939.68852MaRDI QIDQ1978472FDOQ1978472

O. Rifi, Andreas Herzig

Publication date: 4 June 2000

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

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
• Publication:3795274
• Update of Probabilistic Beliefs: Implementation and Parametric Verification
• scientific article; zbMATH DE number 1269565
• scientific article; zbMATH DE number 1882053

zbMATH Keywords

dependencecausalitybelief changeminimal changeintegrity constraintsbelief updatepossible models approachupdate postulates

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (37)

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

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)