Belief revision and update: Complexity of model checking

DOI10.1006/JCSS.2000.1698MaRDI QIDQ5943121zbMATH OpenOpenAlexFDO

Authors Paolo Liberatore, Marco Schaerf

Publication date 9 September 2001

Published in Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1006/jcss.2000.1698

zbMATH Keywords

formal modeling of common-sense reasoning

Mathematics Subject Classification ID

General topics in artificial intelligence (68T01)

Recommendations

• Complexity of model checking for cardinality-based belief revision operators
• The complexity of belief update
• On the complexity of propositional knowledge base revision, updates, and counterfactuals
• scientific article; zbMATH DE number 108002
• Knowledge updates: Semantics and complexity issues

Cites work

• Counterfactuals
• scientific article; zbMATH DE number 4174359 (Why is no real title available?)
• scientific article; zbMATH DE number 44621 (Why is no real title available?)
• scientific article; zbMATH DE number 88991 (Why is no real title available?)
• scientific article; zbMATH DE number 140403 (Why is no real title available?)
• scientific article; zbMATH DE number 140406 (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?)
• scientific article; zbMATH DE number 4187148 (Why is no real title available?)
• Knowledge in flux. Modeling the dynamics of epistemic states
• On the complexity of propositional knowledge base revision, updates, and counterfactuals
• On the logic of theory change: Partial meet contraction and revision functions
• The polynomial-time hierarchy

Cited in

(17)

• The complexity of belief update
• An extension-based approach to belief revision in abstract argumentation
• Parameterized complexity of dynamic belief updates
• On the complexity of inconsistency measurement
• Complexity of model checking for cardinality-based belief revision operators
• Knowledge updates: Semantics and complexity issues
• Knowledge assimilation in domains of actions: a possible causes approach
• Belief update within propositional fragments
• Belief revision within fragments of propositional logic
• scientific article; zbMATH DE number 1301607 (Why is no real title available?)
• scientific article; zbMATH DE number 6970794 (Why is no real title available?)
• Characterization of logic program revision as an extension of propositional revision
• scientific article; zbMATH DE number 2140435 (Why is no real title available?)
• Belief merging by examples
• A theory of change for prioritised resilient and evolvable software systems
• Toward credible belief base revision
• Mixed Iterated Revisions: Rationale, Algorithms, and Complexity

This page was built for publication: Belief revision and update: Complexity of model checking

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