A consistency-based framework for merging knowledge bases

摘要: Abstract We present a framework for expressing various merging operators belief sets. This generalises our earlier work on consistency-based revision and contraction. Two primary are identified: in the first approach, sources consistently combined so that result of knowledge bases K 1 , … n is maximal consistent (if possible) set formulas comprising joint bases. approach then accords with one's intuitions as to what “merge” operator should do. The second more akin generalised operator. Knowledge “projected” onto another (in simplest case base where only tautologies known). Properties these investigated, primarily by comparing their properties postulates have been identified previously literature. Notably, independent syntax, how each i expressed. As well, we investigate role entailment-based integrity constraints, interrelationships between approaches revision, expression further operators.