
AbstractWe present a framework for expressing various merging operators for belief sets. This framework generalises our earlier work on consistency-based belief revision and contraction. Two primary merging operators are identified: in the first approach, belief sources are consistently combined so that the result of merging knowledge bases K1,…,Kn is a maximal consistent (if possible) set of formulas comprising the joint knowledge of the knowledge bases. This approach then accords with one's intuitions as to what a “merge” operator should do. The second approach is more akin to a generalised belief revision operator. Knowledge bases K1,…,Kn are “projected” onto another (in the simplest case the knowledge base where only tautologies are known). Properties of these operators are investigated, primarily by comparing their properties with postulates that have been identified previously in the literature. Notably, the approach is independent of syntax, in that merging knowledge bases K1,…,Kn is independent of how each Ki is expressed. As well, we investigate the role of entailment-based and consistency-based integrity constraints, the interrelationships between these approaches and belief revision, and the expression of further merging operators.
Belief set merging, Consistency-based reasoning, Logic, Institut für Informatik und Computational Science, Applied Mathematics
Belief set merging, Consistency-based reasoning, Logic, Institut für Informatik und Computational Science, Applied Mathematics
| citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 12 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Top 10% | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
