講演名 | 1999/7/22 メタ記述の変換によるアルゴリズム生成の基礎 秋元 亨介, 赤間 清, 宮本 衛市, |
---|---|
PDFダウンロードページ | PDFダウンロードページへ |
抄録(和) | 等価変換パラダイムでは、宣言的記述をルールを用いて等価変換することにより、問題の解決を行う。本論文では、仕様からアルゴリズムを生成する問題を等価変換パラダイムを用いて研究する。問題の仕様を問合せ集合Qと宣言的記述Pのペア、アルゴリズムを等価変換ルール集合Rと見なし、(Q,P)からRを生成する方法を提案する。この方法では、Qから得たメタ節をPから導かれたメタルールで等価変換することによって、ルールを生成する。"新しい節の定義"、"メタルールの追加"、"評価に基づいたルールの選択"、"アトムパターンの生成"などのステップからなるルール生成のアルゴリズムを提案し、それを所属問題に適用する。 |
抄録(英) | In the equivalent transfomation (ET) paradigm, problems are solved by ET of declarative descriptions by using rules. In this paper, we investigate how to generate an algorithm from a specification based on the ET paradigm. We regard a specification as a pair of a quiry set Q and a declarative description P, an algorithm as a set R of ET rules, respectively, and propose a method of generating R from (Q, P). In this method we generate new ET rules by equivalently transfomating meta-clauses that are constructed from Qby using meta-rules that are constructed from P. We also propose an algorithm for rule generation (consisting of such steps as " definiting new clauses," "adding meta rules," "selecting rules based on evaluation mapping," and "generating atom patterns"), and apply it to membership problems. |
キーワード(和) | 宣言的記述 / 等価変換 / メタ節 / メタルール / ルール生成 |
キーワード(英) | declarative description / equivalent transfomation / meta-clause / meta-rule / rule generation |
資料番号 | AI99-22 |
発行日 |
研究会情報 | |
研究会 | AI |
---|---|
開催期間 | 1999/7/22(から1日開催) |
開催地(和) | |
開催地(英) | |
テーマ(和) | |
テーマ(英) | |
委員長氏名(和) | |
委員長氏名(英) | |
副委員長氏名(和) | |
副委員長氏名(英) | |
幹事氏名(和) | |
幹事氏名(英) | |
幹事補佐氏名(和) | |
幹事補佐氏名(英) |
講演論文情報詳細 | |
申込み研究会 | Artificial Intelligence and Knowledge-Based Processing (AI) |
---|---|
本文の言語 | JPN |
タイトル(和) | メタ記述の変換によるアルゴリズム生成の基礎 |
サブタイトル(和) | |
タイトル(英) | A Foundation for Algorithm Generation by Transforming Meta-descriptions |
サブタイトル(和) | |
キーワード(1)(和/英) | 宣言的記述 / declarative description |
キーワード(2)(和/英) | 等価変換 / equivalent transfomation |
キーワード(3)(和/英) | メタ節 / meta-clause |
キーワード(4)(和/英) | メタルール / meta-rule |
キーワード(5)(和/英) | ルール生成 / rule generation |
第 1 著者 氏名(和/英) | 秋元 亨介 / Kyousuke Akimoto |
第 1 著者 所属(和/英) | 北海道大学工学部情報工学科 Department of Information Engineering, Faculty of Engineering, Hokkaido University |
第 2 著者 氏名(和/英) | 赤間 清 / Kiyoshi Akama |
第 2 著者 所属(和/英) | 北海道大学工学部情報工学科 Department of Information Engineering, Faculty of Engineering, Hokkaido University |
第 3 著者 氏名(和/英) | 宮本 衛市 / Eiichi Miyamoto |
第 3 著者 所属(和/英) | 北海道大学工学部情報工学科 Department of Information Engineering, Faculty of Engineering, Hokkaido University |
発表年月日 | 1999/7/22 |
資料番号 | AI99-22 |
巻番号(vol) | vol.99 |
号番号(no) | 225 |
ページ範囲 | pp.- |
ページ数 | 8 |
発行日 |