Merging stratified knowledge bases under constraints

  • Authors:
  • Guilin Qi;Weiru Liu;David A. Bell

  • Affiliations:
  • School of Electronics, Electrical Engineering and Computer Science, Queen's University Belfast, Belfast, UK;School of Electronics, Electrical Engineering and Computer Science, Queen's University Belfast, Belfast, UK;School of Electronics, Electrical Engineering and Computer Science, Queen's University Belfast, Belfast, UK

  • Venue:
  • AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract

In this paper, we propose a family of operators for merging stratified knowledge bases under integrity constraints. The operators are defined in a model-theoretic way. Our merging operators can be used to merge stratified knowledge bases where no numerical information is available. Furthermore, the original knowledge bases to be merged can be individually inconsistent. Both logical properties and computational complexity issues of the operators are studied.