代数を実現する項書換えシステムの帰納的推論
スポンサーリンク
概要
- 論文の詳細を見る
This paper presents a synthesis algorithm for term rewriting systems realizing algebras by examples based on inductive inference. This is an incremental algorithm similar to the one by Shapiro. The algorithm reads an enumeration of facts, an infinite sequence of input and output examples, and reduces the left hand side of an example with the current set of rules R_c so far generated. If the result is wrong, R_c is modified by deleting a buggy rule from R_c, or adding a new rule to it. It is shown that if there exists a terminating term rewriting system with respect to a given reduction ordering ≻ which realizes a given algebra, the algorithm eventually generates such a system in the limit.
- 社団法人人工知能学会の論文
- 1991-07-01
著者
-
野口 正一
東北大学応用情報学研究センター
-
千葉 和也
富士ゼロックス(株)システム・コミュニケーション研究所
-
千葉 和也
富士ゼロックス(株)中央研究所
-
千葉 和也
富士ゼロックス(株)システム技術研究所
-
富樫 敦
東北大学電気通信研究所
関連論文
- ユーザとの対話機能をもつメイルInterCam
- 時制論理に基づくプロトコルの LOTOS 仕様の合成
- 文書データベース管理システムXebecの概要
- パネル討論会 : 新しい情報処理デバイスの展望 : 新しい計算機システム構築のために : 昭和59年後期第29回全国大会報告
- 「人工知能の展望」 : 1987年7月20日 人工知能学会全国大会(於:学習院大学記念会館)にて
- プロセスの独立性を考慮した通信システムの相互接続試験系列生成法
- シーケンス図を基本とした通信システム用仕様記述法MSCの提案
- 帰納論理プログラミングを用いたグラフィックデザイン知識の獲得
- 帰納論理プログラミングを用いたグラフィックデザイン知識の獲得
- 自律分権協調における「スコープ」と動的グルーピング
- 協調型メタプログラミング言語Faによる自己組織性記述のための枠組
- 情報処理専門教育について 大学等における情報系専門教育の改善への提言
- MSCからのプロセス合成(アルゴリズムと計算量理論)
- Inductive Synthesis of Recursive Processes from Logical Properties
- μ-calculusによる再帰プロセスの合成
- プロセス合成のための支援環境に関する研究
- μ-calculusによる再帰プロセスの合成
- プロセス合成のための支援環境に関する研究
- プロセス合成のための支援環境とその試作
- μ-calclusによる再帰プロセスの合成アルゴリズム
- 汎用並行プロセス計算システムの設計開発
- プロセスの枚挙に基づいた代表的プロセスの合成
- 様相論理式による基本プロセスの合成アルゴリズム
- 帰納論理プログラミングを用いた文書デザイン知識の獲得
- 分散環境に対応した数値シミュレーション可視化システム
- 自律的な協調処理を行う分権型計算モデルKemari
- 自律分散環境における協調型計算モデル : 協調スコープによる協調動作の記述
- 自律分権協調概念に基づく計算モデルKemari
- 学内運用ネットワークにおける大型計算機のデータ転送効率に関する一考察
- 自律的なメッセージによるコミュニケーション
- メッセージ交換を用いた項書き換え系のリデューサの作成
- 項書き換え系のメタインタプリタE-TRS
- 通信プロトコルのやわらかい合成支援環境の構築
- 代数を実現する項書換えシステムの帰納的推論
- ネットワーク環境におけるLOTOSマルチランデブ実装のための分散アルゴリズム
- LOTOS仕様の分散ネットワーク環境への実装に関する一考察
- 等式によるLOTOSプロセスの記述と解釈
- メタファーネットワークにおける都市の混雑具合のリアルタイム表示
- 協調型計算に基づくメタファーネットワーク構築モデル
- メタファーネットワークにおける郵便局の実現
- メタファーネットワーク : 都市のメタファーを用いたネットワーク上でのサービス提供
- 通信制御システムのSDLを基本とした仕様記述法に関する検討
- Graphical Interface for Representation of LTS
- コミュニケーションツールのためのメッセンジャの構造
- 文書データベース管理システムXebecのユーザインタフェースについて
- 構造化文書体系(ODA)の処理 : 文書プログラミングのための文書構造変換の形式的記述
- 分散環境記述のための言語系
- 3層実行モデルによるAMLOG実行モニタ
- 実行制御機構を持つ融合型言語AMLOG
- ネットワーク対応型ユーザインターフェースとそのLispシステムへの適用
- 実行制御機構を持つ融合型言語AMLOG
- 融合型プログラミング言語と処理系の実現について(計算アルゴリズムの基礎理論)
- マルチフェースエージェントの試作とその応用
- NOAA AVHRR 画像の3次元解析システム (サイエンティフィック・ヴィジュアライゼーション)
- 知的統合型プロセスデータベースの構築(I) : 異なるデータベース・システムの統合設計
- NOAA AVHRR画像の特徴情報による分類方法
- NOAA AVHRR画像を用いた3次元輝度ヒストグラムの準最適しきい値の提案
- 命題論理に基づいたやわらかいソフトウェア設計支援システムとその応用
- 命題論理に基づいた要求記述法と状態遷移システムによる意味記述
- プロセス計算記述言語とその支援環境
- プロセス計算の統合支援環境の構築(並行計算の理論とその応用)
- 論理ペトリネットを用いた形式仕様の自動変換と検証(グラフ,ネットワークとアルゴリズムおよび一般)
- 平行プロセス計算の現状と課題
- 並行プロセス計算の開発・利用支援環境
- 並行プロセス計算の開発・利用支援環境
- プロセス計算の統合支援環境の構築
- 並列論理型言語GHCの動作的意味論
- 並列論理型言語の動作的意味論
- 東北大学総合情報ネットワークシステムTAINSの構築
- LOTOS検証システムMetisII
- 項書き換え系の関数型言語への変換による実現 (関数型プログラミング)
- 気象衛星ノアから得られるマルチスペクトル画像の同時解析方法
- 3次元ヒストグラムの効率的な表示方法
- 東北画像データベース(TIDAS)の2次元的解析
- 協同作業のための自律的オブジェクトの構造
- TRSプログラムの自動合成システム
- 衛星通信網向け多地点間同報通信論理リンクプロトコルの開発
- 分散Lisp系を用いたメッセージ交換リダクション
- トランスピュータを用いた表明付き項書き換え系の実現
- 文書データベース管理システムXebecのユーザインタフェースについて