In this paper, a new method for merging multiple inconsistent knowledge bases in the framework of possibilistic logic is presented. We divide the fusion process into two steps: one is called the splitting step and the other is called the combination step. Given several inconsistent possibilistic knowledge bases (i.e. the union of these possibilistic bases is inconsistent), we split each of them into two subbases according to the upper free degree of their union, such that one subbase contains formulas whose necessity degrees are less than the upper free degree and the other contains formulas whose necessity degrees are greater than the upper free degree. In the second step, we combine the former using the maximum (or more generally, T-conorm) combination mode, while combining the latter using the minimum (or more generally, T-norm) combination mode. The union of the possibilistic bases obtained by the second step is taken as the final result of the combination of the possibilistic ba...
Guilin Qi, Weiru Liu, David H. Glass