推論の失敗を考慮した仮説推論システム

書誌事項

タイトル別名
  • スイロン ノ シッパイ オ コウリョ シタ カセツ スイロン システム
  • A Hypothetical Reasoning System Which Considers Failures in Reasonings

この論文をさがす

抄録

application/pdf

仮説推論は不完全な知識を扱うことができるので, 設計や診断等の問題解決に有効であるが, 仮説推論を含む非単調推論はNP-完全であることが知られており, 低い推論速度が問題になっている. 本研究では, 推論木のANDノードの解を推論する際に, 左の子と右の子のいずれを先に推論した方が効率がよいかを考察した. 従来の1階述語論理を対象とした全数解を求める仮説推論システムでは, 常に左の子の解を先に推論していたが, 左の子の解が空ではなく, 右の子の解が空のとき, 左の子の解を求めた手間が無駄になる. このようなとき, 右の子の解を先に求めていたら無駄は省けるが, 左の子と右の子のいずれを先に推論したらよいかをどのように判別するかが問題となる. 本論文では, この判別を容易に可能とする判別ラベルを導入し, これを用いて推論の失敗による無駄を排除した仮説推論システムを提案する.

Article

電子情報通信学会論文誌. D-I, 情報・システム, I-情報処理 J88-D-I(8), 1247-1256.(2005)

収録刊行物

参考文献 (28)*注記

もっと見る

詳細情報

問題の指摘

ページトップへ