Deductive inference for the interiors and exteriors of horn theories

Kazuhisa Makino, Hirotaka Ono

研究成果: Chapter in Book/Report/Conference proceedingConference contribution

抄録

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

本文言語英語
ホスト出版物のタイトルAlgorithms and Computation - 19th International Symposium, ISAAC 2008, Proceedings
ページ390-401
ページ数12
DOI
出版ステータス出版済み - 2008
イベント19th International Symposium on Algorithms and Computation, ISAAC 2008 - Gold Coast, QLD, オーストラリア
継続期間: 12 15 200812 17 2008

出版物シリーズ

名前Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
5369 LNCS
ISSN(印刷版)0302-9743
ISSN(電子版)1611-3349

その他

その他19th International Symposium on Algorithms and Computation, ISAAC 2008
国/地域オーストラリア
CityGold Coast, QLD
Period12/15/0812/17/08

All Science Journal Classification (ASJC) codes

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

フィンガープリント

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

引用スタイル