The hyper system: Knowledge reformation for efficient first-order hypothetical reasoning

Helmut Prendinger, Mitsuru Ishizuka, Tetsu Yamamoto

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Abstract

We present the HYPER system that implements a new approach to knowledge compilation, where function-free first-order acyclic Horn theories are transformed to propositional logic. The compilation method integrates techniques from deductive databases (relevance reasoning) and theory transformation via unfold/fold transformations, to obtain a compact propositional representation. The transformed theory is more compact than the ground version of the original theory in terms of significantly less and mostly shorter clauses. This form of compilation, called knowledge (base) reformation, is important since the most efficient reasoning methods are defined for propositional theories, while knowledge is most naturally expressed in a first-order language. In particular, we will show that knowledge reformation allows low-order polynomial time inference to find a near-optimal solution in cost-based first-order hypothetical reasoning (or 'abduction') problems. We will also present experimental results that confirm the effectiveness of our compilation method.

Original languageEnglish
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Pages93-103
Number of pages11
Volume1886 LNAI
Publication statusPublished - 2000
Externally publishedYes
Event6th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2000 - Melbourne, VIC
Duration: 2000 Aug 282000 Sep 1

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1886 LNAI
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

Other6th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2000
CityMelbourne, VIC
Period00/8/2800/9/1

ASJC Scopus subject areas

  • Computer Science(all)
  • Theoretical Computer Science

Fingerprint Dive into the research topics of 'The hyper system: Knowledge reformation for efficient first-order hypothetical reasoning'. Together they form a unique fingerprint.

  • Cite this

    Prendinger, H., Ishizuka, M., & Yamamoto, T. (2000). The hyper system: Knowledge reformation for efficient first-order hypothetical reasoning. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1886 LNAI, pp. 93-103). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1886 LNAI).