Information loss in knowledge compilation: A comparison of Boolean envelopes

  • Authors:

  • Peter Schachte;Harald Søndergaard;Leigh Whiting;Kevin Henshall

  • Affiliations:

  • Department of Computer Science and Software Engineering, The University of Melbourne, Victoria 3010, Australia;Department of Computer Science and Software Engineering, The University of Melbourne, Victoria 3010, Australia;Department of Computer Science and Software Engineering, The University of Melbourne, Victoria 3010, Australia;Department of Computer Science and Software Engineering, The University of Melbourne, Victoria 3010, Australia

  • Venue:
  • Artificial Intelligence
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

Abstract

Since Selman and Kautz's seminal work on the use of Horn approximation to speed up the querying of knowledge bases, there has been great interest in Boolean approximation for AI applications. There are several Boolean classes with desirable computational properties similar to those of the Horn class. The class of affine Boolean functions, for example, has been proposed as an interesting alternative to Horn for knowledge compilation. To investigate the trade-offs between precision and efficiency in knowledge compilation, we compare, analytically and empirically, four well-known Boolean classes, and their combinations, for ability to preserve information. We note that traditional evaluation which explores unit-clause consequences of random hard 3-CNF formulas does not tell the full story, and we complement that evaluation with experiments based on a variety of assumptions about queries and the underlying knowledge base.