Resolving Inconsistencies in Probabilistic Knowledge Bases

  • Authors:
  • Marc Finthammer;Gabriele Kern-Isberner;Manuela Ritterskamp

  • Affiliations:
  • Department of Computer Science, University of Dortmund, Germany;Department of Computer Science, University of Dortmund, Germany;Department of Computer Science, University of Dortmund, Germany

  • Venue:
  • KI '07 Proceedings of the 30th annual German conference on Advances in Artificial Intelligence
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

The focus of this paper is on the practical aspects of efficiently resolving inconsistencies when merging probabilistic rule sets. We consider the problem of prioritized merging, when one core knowledge base is to be used without modifications and to be extended by information from other sources. This problem is addressed by our flexible system Heurekathat aims at restoring consistency by finding those parts of the additional rule bases which are compatible with the core base and are considered most valuable by the user. We give an overview on the methodological framework of the system and describe some details of its main techniques. In particular, Heurekaoffers a convenient interface to inductive probabilistic reasoning on maximum entropy. An example from the domain of auditing illustrates the problem and the practical applicability of our framework.