Deductive inference for the interiors and exteriors of horn theories

Kazuhisa Makino, Hirotaka Ono

研究成果: Contribution to journalArticle査読

抄録

In this article, we investigate deductive inference for interiors and exteriors of Horn knowledge bases, where interiors and exteriors were introduced by Makino and Ibaraki [1996] to study stability properties of knowledge bases. We present a linear time algorithm for deduction for interiors and show that deduction is coNP-complete for exteriors. Under model-based representation, we show that the deduction problem for interiors is NP-complete while the one for exteriors is coNP-complete. As for Horn envelopes of exteriors, we show that it is linearly solvable under model-based representation, while it is coNP-complete under formula-based representation. We also discuss polynomially solvable cases for all the intractable problems.

本文言語英語
論文番号23
ジャーナルACM Transactions on Computational Logic
13
3
DOI
出版ステータス出版済み - 8 2012

All Science Journal Classification (ASJC) codes

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

フィンガープリント

「Deductive inference for the interiors and exteriors of horn theories」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル