等式理論の完備化手続き自動化の検討 : RMS利用による効率化
スポンサーリンク
概要
- 論文の詳細を見る
項書き換えシステム(term rewriting system: TRS)の重要な性質として停止性(termination)がある.これらの性質の検査の自動化は,プログラムの合成,変換,検証などにおいて重要な役割を果たすが,この問題は一般に決定不能であることが知られ,いくつかの十分条件が知られているだけである.その中でもKnuthとBendixによって提案された完備化手続きは停止性と合流性をみたす完備(complete)なTRSを生成する手続きであり,完備なTRS:Rは,・唯一の計算結果(正規形(normal form))が有限ステップで求まる.・Rを向き付けられていない等式の集合とみたとき,任意の等式s=tがRの論理的帰結かどうかを効率的に決定することができる.という性質をもつため,この手続きは非常に有効である.ただし,現在の完備手続きは停止性を保証する項の集合上の半順序をあらかじめ利用者に要求したり,実行中に問い合わせを行ない,完全な自動化はなされていない.本稿では,完備化続きの自動化に対する問題点とその解決法及び効率化のためのRMS利用について述べる.
- 一般社団法人情報処理学会の論文
- 1992-02-24
著者
関連論文
- 協調フィルタリングに基づく推薦システムにおける格付け寄与度の提案(インタラクション/インタフェース応用,ソフトウェアエージェントとその応用論文)
- ユーザ間・アイテム間協調フィルタリングの適応的な融合手法 : MovieLensでの格付けデータに基づく検証(社会システムと知能)
- 小型自律飛行船シミュレーションの実装及び効果検証
- 5ZA-8 地震災害関連情報の分析に基づく風評被害対策に関する考察(防災と情報,学生セッション,コンピュータと人間社会)
- 2-S-9 新潟中越沖地震における風評被害対策と売上推移(観光とOR(2))
- 2-S-10 メディアの動向を意識した風評被害対策に関する考察(観光とOR(2))
- 2-S-11 自然災害における近隣観光地の風評被害 : モデル、被害度指標、災害ポータル(観光とOR(2))
- N-016 風評被害対策に向けた話題分析に関する基礎研究(教育・人文科学,一般論文)
- 5H-4 風評被害の抑制・防止に向けた地震災害情報の分析(危機管理情報システム,一般セッション,コンピュータと人間社会)
- 待ち行列ネットワークにおける最適成長計画問題とその解法
- エージェントの意思を取り入れた混雑情報の提示とその効果(セッション : 社会システムと知能(群ユーザモデルと知的支援), 「社会システムにおける知能」及び一般)
- エージェントの意思を取り入れた混雑情報の提示とその効果(社会システムと知能(群ユーザモデルと知的支援), 「社会システムにおける知能」及び一般)
- テーマパーク問題における混雑状況の提示とその効果(社会システムにおける知能 : 実環境におけるマルチエージェント社会)
- テーマパーク問題における混雑状況の提示とその効果(社会システムにおける知能(実環境におけるマルチエージェント社会))(「社会システムにおける知能」及び一般)
- 大型疎線形計画問題に対する Reid の基底更新方法の改善
- 大型疎線形計画問題に対するReidのバンプ縮小方法の基本的性質
- 数理モデルによるDNAメモリの容量解析
- Iterated Multiple Lake Gameにおける社会的ジレンマに対するプレイヤー群の挙動に関する考察
- X-Economyシステムによる電力市場のモデル化とその実装
- LF-006 セルの入出力観測に基づくセルオートマトンの定量的分析(人工知能・ゲーム)
- ブログによる情報収集と推薦技術を用いた飲食店情報サイトの構築(セッション7:ウェブにおける情報処理)
- ブログによる情報収集と推薦技術を用いた飲食店情報サイトの構築(セッション7:ウェブにおける情報処理,社会システムと知能)
- 集合行為問題におけるタグメカニズムと協調の形成に関する考察
- 郡市医師会におけるテレビ会議システム導入可能性の検討 : 北海道医師会をモデルとした費用効果の試算
- 遺伝子概念学習のための支援ツールに関する検討
- 概念学習に対する遺伝的アルゴリズムの局所探索に関する考察
- 帰納と対話の併用による概念知識ベースの構築
- 遺伝的アルゴリズムを用いた概念学習に関する考察
- 遺伝的アルゴリズムによる選言概念獲得アルゴリズム
- GAによる Neural Network の段階的生成と応用
- ユーザ間・アイテム間協調フィルタリングの適応的な融合手法 : MovieLensでの格付けデータに基づく検証(社会システムと知能)
- X-Economyシステムによる電力市場のモデル化とその実装
- 抗原抗体反応のモデル化と挙動に関する基礎研究
- 抗原抗体反応の細胞モデルに関する基礎研究
- 時間制約付き飛行プランに基づく小型自律飛行船制御
- 待ち行列ネットワークにおける最適成長計画問題とその解法
- 待ち行列ネットワークにおける待ち時間を最小化する構造設計(ネットワーク品質・制御)
- 待ち行列ネットワークにおけるリンク張り替えによる構造最適化(セッション9:ネットワークと知能)
- 成長する待ち行列ネットワークにおけるトポロジー生成規則の最適性(ネットワークが創発する知能)
- 2-F-1 待ち行列ネットワークの複雑ネットワーク理論を用いた最適設計(情報・通信)
- リンクコストを考慮しない待ち行列ネットワークの最適設計(セッション1: ネットワーク)
- リンクコストを考慮しない待ち行列ネットワークの最適設計(ネットワーク, 「社会システムにおける知能」及び一般)
- 待ち行列ネットワークにおけるリンク張り替えによる構造最適化(セッション9:ネットワークと知能,社会システムと知能)
- アートツーリズムを支援するコミュニティWebの構築(セッション : 一般(知識処理), 「社会システムにおける知能」及び一般)
- アートツーリズムを支援するコミュニティ Web の構築(一般(知識処理), 「社会システムにおける知能」及び一般)
- 組織評価における能力成熟度モデルの適用 : 観光関係部局の調査結果について(社会・人間系の情報システム)
- BSC戦略マップ構造モデリングに基づく観光戦略策定の検討(社会システムにおける知能 : 社会システムのモデル化)
- BSC戦略マップ構造モデリングに基づく観光戦略策定の検討(社会システムにおける知能(社会システムのモデル化))(「社会システムにおける知能」及び一般)
- 北海道観光に関する情報収集とニーズ調査 : WWWを利用した情報提供の現状(データマイニング)
- 観光情報に関する概念形成セッションの提案と考察(統合オペレーション(4))
- 北海道「遊」産業情報におけるWebマイニング(統合オペレーション(3))
- 観光情報に関する概念形成のためのWWW文書の可視化方法の検討
- 観光情報に関する概念形成のためのWWW文書の可視化方法の検討
- 参加者の匿名性を考慮したCPUリソースオークションシステムの提案(セッション : 社会システムと知能(複雑系とオークション), 「社会システムにおける知能」及び一般)
- 参加者の匿名性を考慮したCPUリソースオークションシステムの提案(社会システムと知能(複雑系とオークション), 「社会システムにおける知能」及び一般)
- キーワード地図構造モデリングによるグループ学習支援システムの構築
- 推薦と格付けの相互作用に基づく推薦アルゴリズムの性能評価
- 郡市医師会情報化実態指標の構築
- ファジィ構造モデリングにおける階層グラフを用いた構造化法
- FISM/fuzzyによるレパートリー : グリッドを用いたファジィ構造モデリング
- 最適系列分割問題への遺伝的アルゴリズムの適用 : 個体の形質遺伝に関する考察
- 2T05 ゲノム情報処理におけるコピーパターンの抽出と解析
- 2T03 同時双方向探索によるアミノ酸配列の多重アラインメント
- 推移的矛盾を利用したファジィ構造モデリング
- 遺伝情報の統合処理支援モジュールの構築
- 認知構造を利用した画像検索システム
- 総合成績を考慮したクラス編成法に関する一考察
- 配送計画,問題における近傍解の考察
- 順序尺度に基づく階層分析法
- 国際貿易リーグ : マルチエージェント経済における標準問題(1) : 概念とX-Economyシステムによる実現
- 国際貿易リーグ : マルチエージェント経済における標準問題(1) : 概念とX-Economyシステムによる実現
- 強化学習を用いた小型飛行船の目標位置への誘導
- エージェントモデルによるユーザ間とアイテム間協調フィルタリングの性能評価
- F-007 ブログを用いたWebサービス型情報共有・推薦システム「HARMO」の開発(F分野:人工知能・ゲーム)
- L_057 Weblogによる評価情報収集と推薦システムの開発(L分野:ネットワークコンピューティング)
- FISMによる集団合意形成支援 : 新規事業開発への利用(集団合意形成支援工学)
- AFOによる鬼ごっこ(セッション2 物理)
- 屋内自律飛行船における自己組織的な群飛行(「社会システムにおける知能」および一般)
- 屋内自律飛行船における自己組織的な群飛行(一般,「社会システムにおける知能」および一般)
- 小型自律飛行船の研究プラットホームの実現
- J_050 充電地点へのドッキングを行なう室内バルーンロボットの学習制御(J分野:グラフィクス・画像)
- 室内バルーンロボットにおける自律充電のドッキング制御(エンタテインメントコンピューティング一般(1))
- ホバリング制御に基づくエンタテインメントバルーンロボットの開発(エンタテインメントコンピューティング)
- カメラ搭載型バルーンロボットシステムの開発とPD制御による位置制御の実現(応用分野・領域)
- 部分的完全調査モンテカルロ法の推定精度の検証と閾値の自動設定(アルゴリズム理論)
- 部分的完全調査モンテカルロ法の提案とTACエージェントの意思決定への応用(知識処理・知識コミュニティ)
- 個人適応型観光情報収集支援システムのためのユーザモデルの構築(統合オペレーション(1))
- 北海道観光情報ポータルサイトにおけるユーザモデルの構築(統合オペレーション(2))
- 4ZB-5 協調コミュニケーションからの概念地図の自動生成に関する考察(情報/知識共有,一般講演,インタフェース)
- テーマパーク問題における予定情報共有システムの提案と有効性の検証(セッション1:社会システムと強調)
- テーマパーク問題における予定情報共有システムの提案と有効性の検証(セッション1:社会システムと強調,社会システムと知能)
- コージェネレーションの普及が電力市場の価格形成に与える影響に関するマルチエージェント分析
- 電力市場における分散型電源普及の影響に関するマルチエージェント分析(社会システムにおける知能 : エージェントと社会基盤)
- 複数の簡約順序のもとでの項書換えシステム完備化手続き
- Reason Maintenance System による項書き換えシステム停止性検証の効率化
- ATMSと単純化順序を用いた項書き換えシステム停止性検証システムの開発 : 第2報
- ATMSと単純化順序を用いた項書き換えシステム停止性検証システムの開発
- ネットワーク特性量を用いた多目的GAによる複雑ネットワーク生成(ネットワーク)
- 5P-7 GAによるモチーフを考慮したネットワーク生成(進化的計算とバイオインフォマティクス,学生セッション,ソフトウェア科学・工学)
- 等式理論の完備化手続き自動化の検討 : RMS利用による効率化