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

Helmut Prendinger*, Mitsuru Ishizuka, Tetsu Yamamoto

*この研究の対応する著者

研究成果: Conference contribution

1 被引用数 (Scopus)

抄録

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.

本文言語English
ホスト出版物のタイトルLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ページ93-103
ページ数11
1886 LNAI
出版ステータスPublished - 2000
外部発表はい
イベント6th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2000 - Melbourne, VIC
継続期間: 2000 8 282000 9 1

出版物シリーズ

名前Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
1886 LNAI
ISSN(印刷版)03029743
ISSN(電子版)16113349

Other

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

ASJC Scopus subject areas

  • コンピュータ サイエンス(全般)
  • 理論的コンピュータサイエンス

フィンガープリント

「The hyper system: Knowledge reformation for efficient first-order hypothetical reasoning」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル