拡張前提式を用いたATMSの並列化
スポンサーリンク
概要
- 論文の詳細を見る
ATMSは、仮説推論を現在のところ最も適切に定式化した枠組であり、エキスパートシステム等に広く使われている。しかし、仮説として扱われる不完全な知識を組み合わせることにより、組合せ爆発の問題が生じ、実行効率の低化が起こる。そこで、ATMSの並列化により実行効率の向上を図った研究が行なわれている。本稿では、理由付けのOR並列性に着目するだけでなく、拡張前提式と呼ぶ論理式を定義することにより、ATMSをより並列化することを考える。
- 一般社団法人情報処理学会の論文
- 1991-02-25
著者
関連論文
- 変換履歴の再利用による高レベルのプログラム変換
- ハイパーリングのハイパーキューブへの埋め込み
- 6N-10 MPIプログラムのためのランダム遅延によるUnit Testing Framework(数値計算とコンパイラ技術,学生セッション,アーキテクチャ)
- AND-EXOR論理式の簡単化並列アルゴリズム
- 拡張前提式を用いたATMSの並列化
- リフレクション原理によるフレームシステムの拡張
- ハイパーキューブ上の安全な情報伝達 (計算モデルとアルゴリズム)
- 情報伝播アルゴリズムによる安全なメッセージ伝達
- Some Modifications of Lockout-Free Mutual Exclusion Algorithms (Algorithms and Theory of Computing)
- ロックアウトフリーな相互排除アルゴリズム
- 23. 倍電圧方式を用いた部分平滑整流回路の検討((1)光源・回路・放電現象(I)(電球・蛍光ランプ関係))
- クライアントサーバシステム用シミュレーションモデルの部品化に関する一考察
- SOL処理特性把握のためのベンチマークモデルの効果
- SQL処理特性把握のためのベンチマークモデルの一提案
- MIAにおけるCDBからRDBのデータ移行方法
- プログラム変換によるCPSコンパイラの最適化に関する研究
- 状態に依存したプログラムの合成
- 相互排他アルゴリズムのメモリ競合解析
- パーミュテーショナルグラフの独立全域木
- パーミュテーショナルグラフのブロードキャスティング
- MOSセルを用いた2段論理回路綱の設計
- 2値画像の一符号化法と演算アルゴリズム
- 論理関数のあるクラスについて最小性を保証するAND-EXOR論理式の簡単化アルゴリズム
- パワーリスト記述からのハイパキューブアルゴリズムの生成(計算論,計算モデル)
- 故障があるアレンジメントグラフのブロードキャスティング
- 故障があるアレンジメントグラフのブロードキャスティング
- プログラム変換における変換履歴再利用の支援
- 再帰関数への変換による不変表明の生成