二分決定グラフを用いた項書換え系の停止性検証システム
スポンサーリンク
概要
- 論文の詳細を見る
We present a method of proving the termination of term rewriting systems(computational systems specified by a set of rewrite rules)by using binary decision diagrams(BDD's) for efficient representation of provability. First, we give a recursive definition of the Boolean function that computes the provability based on a partial ordering ≻ on the set of function symbols. Then the construction of the BDD's for this function, in which a primitive expression f ≻ g consisting of two function symbols f and g is associated with the logical variable x_<fg>, is incorporated into an interactive, incremental termination verification procedure. We conduct some experiments to see how the performance of this procedure is affected by some heuristic selection of variable orderings and constraint orderings, and show that our method and heuristics are useful.
- 社団法人人工知能学会の論文
- 1998-09-01
著者
関連論文
- 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次元空間における固定半径ランダムグラフの連結性の理論解析(アルゴリズム一般)
- ISMにおける一般化完全推論行列の理論
- 混合システム的視点に基づく遺伝的アルゴリズムのモデリング
- 遺伝的アルゴリズムの混合モデル的解析に関する一検討
- 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)
- 多重パスメッセージ転送ネットワークの数理モデルと論理
- 優先順位と二分決定グラフに基づく複数経路順序下の項書換え系完備化手続き
- プログラムの変更履歴に基づくリファクタリング支援
- エージェントの移動性を考慮したエージェント間通信のトラフィック量に関する実験と評価
- 多重パスメッセージ転送ネットワークの数理モデルと論理(アルゴリズム一般)
- 多重パスメッセージ転送ネットワークの数理モデルと論理
- D-3-1 移動エージェントにおける位置透過性を持ったエージェント間通信機構の実現
- 2J-2 アーク整合にAC-7を用いたMAC制約充足アルゴリズムの実装
- 5P-7 反復改善型分散制約充足アルゴリズムの実装と評価
- 1N-6 BDD表現を用いた複数優先順位を扱う項書換え系完備化推論規則
- 3K-1 多項制約充足問題の双対問題による2項制約化の改善と検証
- 2K-5 研究室配属アルゴリズムの諸性質の考察
- 簡約系によるリフレクティブエージェント (第3回ヒューマンインタフェース研究会 コミュニケーションおよび一般)
- 等式プログラムの停止性検証
- 条件付き項書換え系に基づく言語におけるメタ計算
- 列書換え系停止性検証における二分決定グラフのサイズ
- 二分決定グラフを用いた項書換え系の停止性検証システム
- 二分決定グラフを用いた書換え型プログラムの停止性検証器
- CREPSにおける自己反映計算の実現
- 二分決定グラフを用いた書換え型プログラムの停止性検証システム
- 二分決定グラフを用いた項書換え系の停止性検証
- ハイパーテキスト・マークアップ言語によるネットワーク環境学習システムの試作
- 条件付き項書換え系に基づく言語におけるメタ計算(並列・分散)
- 拡張ステータスによる項書換え系の停止性検証
- ハイパーテキスト・マークアップ言語によるネットワーク環境学習システムの試作
- 抽象書換え系理論による講座配属アルゴリズムの完備性の解析
- 項書換えシステムにおける自己反映計算
- ヒュ-マンパフォ-マンスモデルに基づく事故復旧システムの開発
- 抽象書換え系理論による講座配属アルゴリズムの完備性と解析
- 書換え系理論を用いた講座配属アルゴリズムの完備性の解析
- 条件付き項書換えシステム処理系におけるメタ計算機能
- 複数の簡約順序のもとでの項書換えシステム完備化手続き
- メタ計算機能を付加した条件付き項書換えシステム処理系の実現
- 拡張ステータスを用いた項書換えシステムの停止性検証システムの開発
- 線形な領域計算量の最良優先探索の探索順序の緩和
- ステータスの拡張による項書換えシステムの停止性検証
- 項書換えシステムに基づく自己反映計算の実現
- 項書換えシステムにおける自己反映計算 (情報工学専攻創立20周年記念号)
- ATMSのデータ構造に基づいた複数の簡約順序を扱う完備化手続き
- 複数簡約順序を扱う完備化続き
- 制約伝播を利用したファジィ論理回路の故障診断
- 命題論理充足可能性問題に対する定量的アプローチと記号的アプローチの比較
- 等式プログラミングにおけるリフレクション
- 重なりのある等式に対するパターン照合法の実現
- 構成子を共有するモジュラ項書き換えシステム
- Reason Maintenance System による項書き換えシステム停止性検証の効率化
- FISM による合意モデル構築支援
- ATMSと単純化順序を用いた項書き換えシステム停止性検証システムの開発 : 第2報
- Reiterの理論に基づいたファジィ論理回路の故障診断
- 部分可到達行列モデルと随伴含意行列
- 自動推論に基づくパッケージレベル故障診断システム(AI)