The Combination of Evidence in the Transferable Belief Model
IEEE Transactions on Pattern Analysis and Machine Intelligence
Propositional knowledge base revision and minimal change
Artificial Intelligence
On the logic of iterated belief revision
Artificial Intelligence
Propositional belief base update and minimal change
Artificial Intelligence
A Textbook of Belief Dynamics: Solutions to Exercises
A Textbook of Belief Dynamics: Solutions to Exercises
Belief Revision
Combining Multiple Knowledge Bases
IEEE Transactions on Knowledge and Data Engineering
Arbitration (or How to Merge Knowledge Bases)
IEEE Transactions on Knowledge and Data Engineering
Model-Theoretic Minimal Chenge Operators for Constraint Databases
ICDT '97 Proceedings of the 6th International Conference on Database Theory
A principled analysis of merging operations in possibilistic logic
UAI '00 Proceedings of the 16th Conference on Uncertainty in Artificial Intelligence
Artificial Intelligence - Special issue: Fuzzy set and possibility theory-based methods in artificial intelligence
Artificial Intelligence - Special issue on nonmonotonic reasoning
A negotiation-style framework for non-prioritised revision
TARK '01 Proceedings of the 8th conference on Theoretical aspects of rationality and knowledge
Revisions of knowledge systems using epistemic entrenchment
TARK '88 Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge
Social contraction and belief negotiation
Information Fusion
Iterated belief revision, revised
Artificial Intelligence
On the merging of Dung's argumentation systems
Artificial Intelligence
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Argument Theory Change: Revision Upon Warrant
Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
Merging Qualitative Constraints Networks Using Propositional Logic
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Negotiation as mutual belief revision
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Belief change in the context of fallible actions and observations
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Admissible and restrained revision
Journal of Artificial Intelligence Research
Revision of partially ordered information: axiomatization, semantics and iteration
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Reconstructing an agent's epistemic state from observations
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Next steps in propositional horn contraction
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Merging Qualitative Constraint Networks in a Piecewise Fashion
ICTAI '09 Proceedings of the 2009 21st IEEE International Conference on Tools with Artificial Intelligence
Merging first-order knowledge using dilation operators
FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
Majority Merging: from Boolean Spaces to Affine Spaces
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Horn Belief Change: A Contraction Core
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Belief extrapolation (or how to reason about observations and unpredicted change)
Artificial Intelligence
Conciliation and consensus in iterated belief merging
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
| Hi-index | 0.00 |
The dynamics of beliefs is one of the major components of any autonomous system, that should be able to incorporate new pieces of information. In this paper we give a quick overview of the main operators for belief change, in particular revision, update, and merging, when the beliefs are represented in propositional logic. And we discuss some works on belief change in more expressive frameworks.