UCL Discovery

Abstract

Most operators for merging multiple knowledge bases (where each is a set of formulae) aim to produce a knowledge base as Output that best reflects the information available in the input. Whilst these operators have some valuable properties, they do not provide explicit information on the degree to which each formula ill the output has been, in some sense, supported by the different knowledge bases in the input. To address this, in this paper, we first define the degree Of Support that a formula receives from input knowledge bases. We then provide two ways of determining formulae which have the highest degree Of Support in the Current collection of formulae in KBs, each of which gives a preference (or priority) over formulae that can be used to stratify the formulae in the output. We formulate these two preference criteria, and present an algorithm that given a set of knowledge bases as input, generates a stratified knowledge base as output. Following this, we define some merging operators based on the stratified base. Logical properties of these operators are investigated and a criterion for selecting merging operators is introduced.