Knowledge base reformation: Preparing first-order theories for efficient propositional reasoning

Helmut Prendinger, Mitsuru Ishizuka, Gerhard Schurz

Research output: Contribution to journalArticlepeer-review

1 Citation (Scopus)


We present an approach to knowledge compilation that transforms a function-free first-order Horn knowledge base to propositional logic. This form of compilation is important since the most efficient reasoning methods are defined for propositional logic, while knowledge is most conveniently expressed within a first-order language. To obtain compact propositional representations, we employ techniques from (ir)relevance reasoning as well as theory transformation via unfold/fold transformations. Application areas include diagnosis, planning, and vision. Preliminary experiments with a hypothetical reasoner indicate that our method may yield significant speed-ups.

Original languageEnglish
Pages (from-to)35-57
Number of pages23
JournalInternational Journal of Pattern Recognition and Artificial Intelligence
Issue number1
Publication statusPublished - 2000 Feb
Externally publishedYes

ASJC Scopus subject areas

  • Artificial Intelligence
  • Computer Vision and Pattern Recognition
  • Control and Systems Engineering


Dive into the research topics of 'Knowledge base reformation: Preparing first-order theories for efficient propositional reasoning'. Together they form a unique fingerprint.

Cite this