結合グラフ証明手続きにおける効率的な探索戦略
スポンサーリンク
概要
- 論文の詳細を見る
本論文では,結合グラフを構成するリンク数およびリテラル数に重みを付けた評価関数による効率的な探索戦略を提案する.提案する探索戦略では,探索空間の広さを表す結合グラフのリンク数と探索空間の大きさを表すリテラル数に基づいた評価関数を導入している.さらに,結合グラフの2連結成分を考慮しグラフの構造的な変化に注目した探索戦略について考察する.提案する評価関数に基づく探索戦略およびトップダウン・ボトムアップなどの探索戦略を推論ステップ毎に切り替えることができる定理証明システムをXウィンドウ上にModula-2で具現化した.このシステムにより提案する探索戦略を評価する.
- 一般社団法人情報処理学会の論文
- 1993-11-24
著者
関連論文
- 2000-DPS-98-3 NTPにおけるパフォーマンス評価について
- 電子新聞に対する情報トラッキング
- 電子新聞に対する動的クラスタリング手法の提案
- 個人属性を考慮した情報フィルタリング
- ユーザの好みを考慮した新聞記事のランキング
- マルチエージェントによる新聞記事のランキング方式の提案
- 適応制御による倒立振子の安定化
- 線形法における探索アルゴリズムの解析
- 分離連鎖法における挿入・探索アルゴリズムの解析
- キャッシュコヒーレンスプロトコルにおけるオーナーシップに関する考察
- キャッシュコヒーレンスプロトコルに対する一考察
- PERTチャートにおけるクリティカルパスを求める並列アルゴリズム(アルゴリズム理論)
- 3U-4 統計的手法によるネットワーク利用可能帯域の推定と予測
- 入れ子構造を許す言語処理で用いる名前表の一構成法とその解析
- 任意に回転したパターンと回転角度を認識する複写学習モデル
- 位置ずれ・回転パターンを認識するニューラルネットワーク
- JavaによるLANシミュレータの実現
- JavaによるLANシミュレータの実現
- SNMPによるネットワーク不正アクセス検出エージェントの実現
- オブジェクト指向によるLAN構築支援システムの設計
- Microprogrammed E-MIXによるアセンブリ言語教育支援システムの設計と開発
- 結合グラフ証明手続きにおける効率的な探索戦略
- 2分探索木における探索アルゴリズムの解析
- 線形ハッシュ法における探索アルゴリズムの解析
- 並列トポロジカル整列アルゴリズム(計算科学と数値シミュレーションの理論と実践)
- DAGの最長路を求める並列アルゴリズム
- 有向グラフの強連結成分を求める並列アルゴリズム
- 並列トポロジカル整列アルゴリズム
- 2分探索木を平衡化する並列アルゴリズム
- マルチプロセッサシステムにおける並列タスクスケジューリングについての一考察
- 2分探索木を通りがけ順になぞる並列アルゴリズム
- 有向グラフの最長路を求める効率良い並列アルゴリズム
- 疎な有向グラフの強連結成分を求める効率良い並列アルゴリズム
- 回転パターンを自動生成するニューラルネットワーク
- 2分探索木における挿入・探索アルゴリズムの解析
- 入れ子構造を許す言語処理で用いる名前表の一構成法とその解析