Parallel belief revision: revising by sets of formulas

DOI10.1016/j.artint.2011.10.001zbMath1243.03018OpenAlexW2021003968MaRDI QIDQ420814

Yi Jin, James P. Delgrande

Publication date: 23 May 2012

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

Full work available at URL: https://doi.org/10.1016/j.artint.2011.10.001

zbMATH Keywords

knowledge representationepistemic statesbelief changeiterated belief revision

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30)

Related Items (10)

On the logic of theory change: Partial meet contraction and revision functions ⋮ The sound and complete R-calculus for revising propositional theories ⋮ How does incoherence affect inconsistency-tolerant semantics for Datalog\(^\pm\)? ⋮ What kind of independence do we need for multiple iterated belief change? ⋮ Belief revision and projection in the epistemic situation calculus ⋮ A concept for the evolution of relational probabilistic belief states and the computation of their changes under optimum entropy semantics ⋮ Multi-source multiple change on belief bases ⋮ Probabilistic clustering of time-evolving distance data ⋮ Belief base contraction by belief accrual ⋮ On the expressivity of inconsistency measures

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Dynamic belief revision operators
• A consistency-based approach for belief change
• Weakening conflicting information for iterated revision and knowledge integration
• Conditional entailment: bridging two approaches to default reasoning.
• Iterated belief revision, revised
• Two modellings for theory change
• Nonmonotonic reasoning, preferential models and cumulative logics
• Propositional knowledge base revision and minimal change
• What does a conditional knowledge base entail?
• Unifying default reasoning and belief revision in a modal framework
• Conditional logics of normality: A modal approach
• On the logic of iterated belief revision
• Explanations, belief revision and defeasible reasoning.
• Multiple kernel contraction
• Another perspective on default reasoning
• A textbook of belief dynamics. Theory change and database updating
• On the logic of theory change: Partial meet contraction and revision functions
• A framework for iterated revision
• The Limit Assumption and Multiple Revision
• Logic Programming and Nonmonotonic Reasoning
• Basic infobase change
• Infinitary belief revision

This page was built for publication: Parallel belief revision: revising by sets of formulas