| 講演名 | 1999/7/22 等価変換ルールの探索に基づくプログラム合成 小池 英勝, 赤間 清, 宮本 衛市, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 等価変換による問題解決では, 等価変換ルールの集合で問題解決の手続きを記述する. 等価変換ルールを用いると, 正当で効率的な問題解決が可能である. 論理プログラミングでは, 関係を正しく記述しても解を得られない場合がある(reverseの例題など). そのような問題に対してもこの方法では正しく解を与えることができる. これまでに, 確定節の集合から多数の正当な等価変換ルールの集合を生成するための基礎理論が提案されている. 本論文では, 等価変換ルールの集合から探索によって, 問題を効率的に解決するための等価変換ルールを発見する方法を提案する. この方法は, 正当で効率的なプログラムを自動生成するための基礎を与える. |
| 抄録(英) | In problem solving based on equivalent transformation (ET), a procedure is represented by a set of ET rules, which enables us to sove problems correctly and efficiently. There exist some problems that can be solved correctly by the ET paradigm, but cannot be solved by natural logic programs, though they define problems correctly. A theoretical foundation for generating a large class of correct ET rules has been proposed. In this paper we develop a method of searching the class of rules for efficient ET rules. This method lays a foundation of synthesizing correct and efficient programs. |
| キーワード(和) | ルール / プログラム合成 / 等価変換 / 自動生成 |
| キーワード(英) | rule / program synthesis / equivalent transformation / automatic generation |
| 資料番号 | AI99-23 |
| 発行日 |
| 研究会情報 | |
| 研究会 | AI |
|---|---|
| 開催期間 | 1999/7/22(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Artificial Intelligence and Knowledge-Based Processing (AI) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 等価変換ルールの探索に基づくプログラム合成 |
| サブタイトル（和） | |
| タイトル（英） | Program Synthesis Based on Searching for Equivalent Transformation Rules |
| サブタイトル（和） | |
| キーワード(1)（和/英） | ルール / rule |
| キーワード(2)（和/英） | プログラム合成 / program synthesis |
| キーワード(3)（和/英） | 等価変換 / equivalent transformation |
| キーワード(4)（和/英） | 自動生成 / automatic generation |
| 第 1 著者 氏名（和/英） | 小池 英勝 / Hidekatsu Koike |
| 第 1 著者 所属（和/英） | 北海道大学大学院 工学研究科 システム情報工学専攻 Division of System and Information Engineering, Hokkaido University |
| 第 2 著者 氏名（和/英） | 赤間 清 / Kiyoshi Akama |
| 第 2 著者 所属（和/英） | 北海道大学 情報メディア教育研究総合センター Center of Information and Multimedia Studies, Hokkaido University |
| 第 3 著者 氏名（和/英） | 宮本 衛市 / Eiichi Miyamoto |
| 第 3 著者 所属（和/英） | 北海道大学大学院 工学研究科 システム情報工学専攻 Division of System and Information Engineering, Hokkaido University |
| 発表年月日 | 1999/7/22 |
| 資料番号 | AI99-23 |
| 巻番号（vol） | vol.99 |
| 号番号（no） | 225 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |