The complexity of belief update

DOI10.1016/S0004-3702(00)00016-3MaRDI QIDQ1575185zbMATH OpenFDO

Authors Paolo Liberatore

Publication date 21 August 2000

Published in Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

ComplexityBelief revisionBelief updateClosed world assumption

Mathematics Subject Classification ID

Artificial intelligence for robotics (68T40)

Recommendations

• Belief revision and update: Complexity of model checking
• Propositional belief base update and minimal change
• Compositional belief update
• scientific article; zbMATH DE number 108002
• A survey of belief revision and updating in classical logic

Cites work

• scientific article; zbMATH DE number 3755910 (Why is no real title available?)
• scientific article; zbMATH DE number 44621 (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 1142303 (Why is no real title available?)
• scientific article; zbMATH DE number 1142309 (Why is no real title available?)
• scientific article; zbMATH DE number 4185089 (Why is no real title available?)
• Abduction to plausible causes: an event-based model of belief update
• Circumscription - a form of non-monotonic reasoning
• On the complexity of propositional knowledge base revision, updates, and counterfactuals
• On the logic of theory change: Partial meet contraction and revision functions
• Propositional circumscription and extended closed-world reasoning are \(\Pi_ 2^ P\)-complete
• Propositional knowledge base revision and minimal change
• The complexity of belief update
• The complexity of optimization problems
• The size of a revised knowledge base

Cited in

(12)

• Reexamination on updating Choquet beliefs
• On Computing Belief Change Operations using Quantified Boolean Formulas
• Update of Probabilistic Beliefs: Implementation and Parametric Verification
• Belief revision and update: Complexity of model checking
• Default reasoning from conditional knowledge bases: Complexity and tractable cases
• Reasoning under minimal upper bounds in propositional logic
• Propositional belief base update and minimal change
• Updating action domain descriptions
• scientific article; zbMATH DE number 1759389 (Why is no real title available?)
• The complexity of belief update
• Modeling and shadowing paraconsistent BDI agents
• Knowledge updates: Semantics and complexity issues

This page was built for publication: The complexity of belief update

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