ホーン理論と推論問題(<小特集>理論計算機科学の最新動向)
スポンサーリンク
概要
- 論文の詳細を見る
ホーン理論は,人工知能,論理プロクラミンクなど様々な分野で重要な役割を果たす 本稿では,知識ベースとしてホーン理論を用いたときの演繹推論,仮説推論という推論問題を,最新の結果も交じえ,主に計算量の観点から解説する また,ホーン理論のそのほかの話題についても論じる
- 一般社団法人電子情報通信学会の論文
- 2003-12-01
著者
関連論文
- 双対制限された列挙問題 : 離散分布に対する交差不等式とその応用
- ラミナー被覆制約を持つ単調凹関数最小化問題
- 木構造の動的ネットワーク上の施設配置問題に対するO(nlog^2n)時間アルゴリズム
- An O(nlog^2n)Algorithm for the Optimal Sink Lacation Problem on Dynamic Tree Networks
- 部分定義論理関数のホーン拡張について
- 閾グラフの最小辺ランキング全域木について
- 最小辺ランキング全域木問題について
- On Minimum Edge Ranking Spanning Trees
- 初等的フローゲームの凸性について(計算量理論とアルゴリズム論文小特集)
- フローゲームの凸性について(ゲーム理論(2))
- Transformations on Regular Non-Dominated Coteries and Their Application (Algorithm Engineering as a New Paradigm)
- 無向ネットワークにおける流量要求を満たす施設配置問題
- ネットワーク上の被覆型施設配置問題(グラフ・ネットワーク(3))
- 正則コテリの効率的な列挙について
- 正則2部グラフに対する単純なマッチングアルゴリズム
- 正決定木によるデータ解析(組合せ最適化(1))
- 部分定義論理関数の正論理関数とHorn関数における関数分解について
- 正理論関数の部分データに基づく正決定木の構成について(組み合わせ最適化(3))
- 不完全データの論理的解析
- 不完全例題に対するプール的解析
- Extensions of Partially Defined Boolean Functions with Missing Data
- Error-Free and Best-Fit Extensions of Partially Defined Boolean Functions
- 双対制限されたハイパーグラフ:部分横断と多重横断の列挙について
- 単調線形システムにおけるすべての極小な整数解について
- ハイパーグラフの重み付き横断
- 複基多面体:台の大きさが2以下の辺ベクトルを有する多面体の構造
- フロー制約を持つソース配置問題に対する近似アルゴリズム
- 木構造動的ネットワークにおける複数個の施設配置問題(組合せ最適化(5))
- 木構造動的ネットワークにおける複数の施設への避難誘導問題(数理計画関連・数理モデル)
- 木構造の動的ネットワークにおける施設配置問題
- 木構造の動的ネットワークにおける施設配置問題(グラフ・ネットワーク(2))
- 単調双対化問題とハイパーグラフ横断列挙問題に対する新しい結果について
- ホーン理論とq-ホーン理論の極小関数従属性の推定について
- ENUMERATING SPANNING AND CONNECTED SUBSETS IN GRAPHS AND MATROIDS(the 50th Anniversary of the Operations Research Society of Japan)
- ハイパーグラフの重み付き横断
- 数値データの論理的分析(組合せ最適化(3))
- 無向ネットワーク中のソース配置問題の強NP困難性とその近似アルゴリズム(組合せ最適化(5))
- LA-002 無向ネットワーク中のソース配置問題に対する近似アルゴリズム(A. モデル・アルゴリズム・プログラミング)
- ラミナー被覆制約を持つ単調凹関数最小化問題(グラフ・ネットワーク)
- 論理的データ解析における階層的分解構造について
- O(log n)項単調論理和標準形の効率的な双対化について
- 部分定義ブール関数のダブルホーン拡張および限定ホーン拡張
- ホーン理論と推論問題(理論計算機科学の最新動向)
- データの論理的解析とブール関数
- Double Horn Functions
- Double Horn Functions
- データの論理的解析とブール関数
- データの論理的解析とブール関数
- 部分定義論理関数の内核関数と外核関数
- 2-単調正論理関数の同定問題に対する単純な高速アルゴリズム
- Interior and Exterior Functions of Positive Boolean Functions
- 論理関数の内包関数と外包関数について
- 正論理関数の最大潜伏度の同定(計算量理論)
- 不完全に定義された正論理関数の最大潜伏度について
- 正論理関数の最大潜伏度について(計算機構とアルゴリズム)
- 1-C-8 キャンセルコスト付きオンラインナップサック問題(離散最適化(1))
- 2-F-4 オンラインナップサック問題に対する乱択アルゴリズム(離散最適化(5))