等価変換ルールの探索に基づくプログラム合成

• Item type: SIG Technical Reports(1)
• 公開日: 1999-07-22
• タイトル: 等価変換ルールの探索に基づくプログラム合成
• タイトル / 言語: en
• タイトル: Program Synthesis Based on Searching for Equivalent Transformation Rules
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 北海道大学大学院工学研究科システム情報工学専攻
• 著者所属: 北海道大学情報メディア教育研究総合センター
• 著者所属: 北海道大学大学院工学研究科システム情報工学専攻
• 著者所属(英): en
• 著者所属(英): Division of System and Information Engineering, Hokkaido University
• 著者所属(英): en
• 著者所属(英): Center of Information and Multimedia Studies, Hokkaido University
• 著者所属(英): en
• 著者所属(英): Division of System and Information Engineering, Hokkaido University
• 著者名: 小池, 英勝; 赤間, 清; 宮本, 衛市
• 著者名(英): Hidekatsu, Koike; Kiyoshi, Akama; Eiichi, Miyamoto
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 等価変換による問題解決では，等価変換ルールの集合で問題解決の手続きを記述する．等価変換ルールを用いると，正当で効率的な問題解決が可能である．論理プログラミングでは，関係を正しく記述しても解を得られない場合がある(everseの例題など）．そのような問題に対してもこの方法では正しく解を与えることができる．これまでに，確定節の集合から多数の正当な等価変換ルールの集合を生成するための基礎理論が提案されている．本論文では，等価変換ルールの集合から探索によって，問題を効率的に解決するための等価変換ルールを発見する方法を提案する．この方法は，正当で効率的なプログラムを自動生成するための基礎を与える．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: 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.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA11135936
• 書誌情報: 情報処理学会研究報告知能と複雑系（ICS）; 巻 1999, 号 63(1999-ICS-117), p. 9-16, 発行日 1999-07-22
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会