ステータス付き再帰的経路順序による項書換え系多重完備化手続きの実装と性能評価(計算モデル,<特集>フォーマルアプローチ論文)
スポンサーリンク
概要
- 論文の詳細を見る
本論文では,多重完備化手続きMKBpoにおいて取り扱う簡約順序を辞書式経路順序(LPO)としたMKBlpoからステータスを用いた再帰的経路順序(RPOS)に拡張することで,完備化が可能となる範囲を大きく広げた完備化手続きMKBrposの実装とその性能評価について報告する.MKBlpoと同様,RPOSの集合を論理関数で表現し,BDDで処理することにより高速化を図っている.実験により,考慮すべき順序の数が多い場合は,考え得るすべてのRPOSをMKBで並列に取り扱った場合よりも高速であることを示す.また,MKBlpoで解ける問題についても,考慮すべきステータスの組合せが数倍から数百倍多いにもかかわらず,平均的にわずかな計算時間のオーバヘッドで解くことができることを実証する.
- 社団法人電子情報通信学会の論文
- 2006-04-01
著者
-
栗原 正仁
北海道大学大学院情報科学研究科
-
栗原 正仁
北海道大学大学院情報科学研究科複合情報学専攻
-
佐藤 晴彦
北海道大学大学院情報科学研究科
-
栗原 正仁
北海道大学 情報科学研究科
-
佐藤 晴彦
北海道大学 情報科学研究科
-
KURIHARA Masahito
Faculty of Engineering, Hokkaido University
-
Kurihara Masahito
Hokkaido University
-
佐藤 晴彦
北海道大学
関連論文
- 4R-3 リンク構造を考慮したベクトル空間法によるWebグラフ分割の実験的解析(Webマイニング,学生セッション,データベースとメディア)
- 動的ファジィ制約充足における解の安定性維持
- ゴール群に基づく並列論理型言語の情報資源管理方式
- LISP上のGHC コンパイラ
- 郡市医師会におけるテレビ会議システム導入可能性の検討 : 北海道医師会をモデルとした費用効果の試算
- 2Q-5 Java PathFinderによるモデル検査におけるGUIの提案(検査,検証,解析,学生セッション,ソフトウェア科学・工学)
- マッピング手法の導入によるインタラクション・モデルの拡張
- セマンティック・ウェブ技術を応用したユーザ嗜好インタフェースの実現
- ベイジアンネットを利用した強化学習エージェントの方策改善(知識処理)(「インタラクション:理論,技術,応用,評価」)
- 1-105 強化学習エージェントの確率的知識を用いた方策改善法に関する研究
- 1R-2 可変スニペットとキーワード相関グラフを利用した検索補助インタフェースの提案(Web検索支援,学生セッション,データベースとメディア,情報処理学会創立50周年記念)
- 3V-8 シソーラス利用による童話文からの感情情報読み取りシステム(文章・感情,学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- 主観的メタ情報を利用した顔画像に対する個人嗜好推定の研究
- 4T-7 動的スクリプトにおけるルールの内部情報を考慮した多様性の向上(ゲーム,学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- 1W-1 太陽電池の特性を自動学習する高速な最大電力点追従装置の開発と実装(最適化,学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- 適応型合意形成モデルにおけるエージェントの特性分析
- 連続離散混合領域におけるファジィ制約充足問題とその反復改善型解法
- グループ間のファジィ選好関係の合意形成と交渉戦略
- A-36 モバイル環境における高信頼メッセージ転送ネットワークの形式的モデリング(グラフアルゴリズム(1),A.アルゴリズム・基礎)
- A-24 ファジィ制約充足問題への連続領域の導入(離散アルゴリズム(2),A.アルゴリズム・基礎)
- 郡市医師会情報化実態指標の構築
- 1次元空間における固定半径ランダムグラフの連結性の理論解析
- 1次元空間における固定半径ランダムグラフの連結性の理論解析(アルゴリズム一般)
- 混合システム的視点に基づく遺伝的アルゴリズムのモデリング
- 遺伝的アルゴリズムの混合モデル的解析に関する一検討
- 2-414 混合モデルを利用した遺伝的アルゴリズムの解析
- 混合システム的視点に基づく遺伝的アルゴリズムのモデリング
- 2ZC-5 アプリケーション層マルチキャストにおけるアーカイブ取得方式の提案とその応用(P2P,学生セッション,ネットワーク,情報処理学会創立50周年記念)
- 1Y-6 複数の顔器官イラストの組み合わせによる顔イラストの作成支援システム(画像生成,学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- 5W-4 実体験情報を含むBlogを抽出するシステム(言語情報抽出,学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- 6U-3 話者適応手法を用いた合成音声の個性化(音声・歌声合成,学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- 5P-4 キーワードプログラミングの改良と実装(プログラミング環境・教育,学生セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- 系統的/局所的探索の協調によるファジィ制約充足問題の近似解法
- 連続領域におけるファジィ制約充足問題の反復改善アルゴリズムによる解法(アルゴリズム一般)
- 連続領域におけるファジィ制約充足問題の反復改善アルゴリズムによる解法
- サｰビス･ロジックとインタフェｰスの分離によるユｰザ嗜好モダリティの実現
- ランダム区間グラフによる1次元アドホックネットワークの連結性のモデル化とその閉じた解
- ペトリネット理論に基づいたシステムの信頼性解析について
- 分散協調システムの確率ペトリネットによる確率的挙動解析
- 1N-7 分散システムの状態変化に対する非集中化モニタリング手法の提案(システム評価,学生セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- 6L-2 Windowsにおける大規模分散システムテストベッドの開発(仮想化技術(2),学生セッション,アーキテクチャ,情報処理学会創立50周年記念)
- 依存対法を用いた項書換え系多重完備化手続き
- 項書換え系多重完備化手続きにおける新たな半順序制約表現の導入
- ステータス付き再帰的経路順序による項書換え系多重完備化手続きの実装と性能評価(計算モデル,フォーマルアプローチ論文)
- F-052 単語の重要度と頻度を利用した局所探索に基づくWEBページ発見法(人工知能・ゲーム,一般論文)
- 感性語の階層構造を利用した配色における個性の抽出と活用
- 障害物密度に応じた迷路探索問題の難易度指標と実時間探索アルゴリズムの性能解析
- 1次元固定半径ランダムグラフの連結性に対する閉じた解(セッション4)
- 多重パスメッセージ転送ネットワークの数理モデルと論理
- 優先順位と二分決定グラフに基づく複数経路順序下の項書換え系完備化手続き
- プログラムの変更履歴に基づくリファクタリング支援
- エージェントの移動性を考慮したエージェント間通信のトラフィック量に関する実験と評価
- 多重パスメッセージ転送ネットワークの数理モデルと論理(アルゴリズム一般)
- 多重パスメッセージ転送ネットワークの数理モデルと論理
- ハイパーテキスト・マークアップ言語によるネットワーク環境学習システムの試作
- 条件付き項書換え系に基づく言語におけるメタ計算(並列・分散)
- 拡張ステータスによる項書換え系の停止性検証
- ハイパーテキスト・マークアップ言語によるネットワーク環境学習システムの試作
- 抽象書換え系理論による講座配属アルゴリズムの完備性の解析
- 項書換えシステムにおける自己反映計算
- ヒュ-マンパフォ-マンスモデルに基づく事故復旧システムの開発
- 抽象書換え系理論による講座配属アルゴリズムの完備性と解析
- 書換え系理論を用いた講座配属アルゴリズムの完備性の解析
- 条件付き項書換えシステム処理系におけるメタ計算機能
- 複数の簡約順序のもとでの項書換えシステム完備化手続き
- メタ計算機能を付加した条件付き項書換えシステム処理系の実現
- 拡張ステータスを用いた項書換えシステムの停止性検証システムの開発
- 線形な領域計算量の最良優先探索の探索順序の緩和
- ステータスの拡張による項書換えシステムの停止性検証
- 項書換えシステムに基づく自己反映計算の実現
- 項書換えシステムにおける自己反映計算 (情報工学専攻創立20周年記念号)
- ATMSのデータ構造に基づいた複数の簡約順序を扱う完備化手続き
- 複数簡約順序を扱う完備化続き
- 制約伝播を利用したファジィ論理回路の故障診断
- 命題論理充足可能性問題に対する定量的アプローチと記号的アプローチの比較
- 等式プログラミングにおけるリフレクション
- 重なりのある等式に対するパターン照合法の実現
- 構成子を共有するモジュラ項書き換えシステム
- Reason Maintenance System による項書き換えシステム停止性検証の効率化
- FISM による合意モデル構築支援
- ATMSと単純化順序を用いた項書き換えシステム停止性検証システムの開発 : 第2報
- Reiterの理論に基づいたファジィ論理回路の故障診断
- 部分可到達行列モデルと随伴含意行列
- 自動推論に基づくパッケージレベル故障診断システム(AI)
- ATMSと単純化順序を用いた項書き換えシステム停止性検証システムの開発
- Heuristics for Proving Non-termination of Term Rewriting Systems
- 知識構造モデリング法の構成と具象化ルール
- スイッチング回路における互換グラフの決定問題とアルゴリズム
- 置換ネットワ-ク上の互換操作について
- Automated Reasoningに基づくシステム問題へのアプロ-チ (産業分野におけるエキスパ-トシステム)
- 2項関係理論による知識獲得ツ-ルとしての階層構造分析法の構成 (産業分野におけるエキスパ-トシステム)
- d互換ブロックからなる置換ネットワークとその互換アルゴリズムについて
- 個別軌道システムのネットワーク・シミュレータ
- ISMにおける推論構造と推論アルゴリズム
- ISMの推移的結合における完全推論行列の考察
- ISMにおける推移的具象化の一般化
- 個別軌道輸送システムの平面交差制御方式とその解析
- 個別軌道輸送システム多バ-ス駅における出発待ち行列の解析
- An Analysis of M/G/1 Finite Capacity Queue with Multiple Transactions
- PRT多バース駅における出発待ち行列の解析