飽和節の構造分析に基づいた再帰的論理プログラムの帰納

• Item type: Journal(1)
• 公開日: 1998-12-15
• タイトル: 飽和節の構造分析に基づいた再帰的論理プログラムの帰納
• タイトル / 言語: en
• タイトル: Induction of Recursive Logic Programs Based on Structural Analysis of Saturations
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 論文
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• その他タイトル / その他のタイトル: 知識処理
• 著者所属: 名古屋工業大学
• 著者所属: 三菱電気エンジニアリング株式会社
• 著者所属: 名古屋工業大学
• 著者所属: 名古屋工業大学
• 著者所属(英): en
• 著者所属(英): Nagoya Institute of Technology
• 著者所属(英): en
• 著者所属(英): Mitsubishi Electric Engineering Company Limited
• 著者所属(英): en
• 著者所属(英): Nagoya Institute of Technology
• 著者所属(英): en
• 著者所属(英): Nagoya Institute of Technology
• 著者名: 犬塚, 信博; 古澤, 光枝; 世木, 博久; 伊藤, 英則
• 著者名(英): Nobuhiro, Inuzuka; Mitsue, Furuzawa; Hirohisa, Seki; Hidenori, Itoh
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 本論文では，論理プログラムを事例から帰納するためのボトムアップ方式の帰納学習アルゴリズム，MRIを提案する．MRIは，非常に少数の事例から，非再帰節1つと，1つあるいはそれ以上の再帰節を含む論理プログラムを帰納することができる．この方法は事例の飽和節の分析に基づいている．Idestam?Almquistは，ILPシステムTIMのアルゴリズムにおいて，述語で処理され受け渡される値の組の流れを表すため，経路構造と呼ぶ概念を用い，経路の中の繰返し構造を分析した．本論文では，経路構造の延長および経路構造の差分の概念を新たに導入し，再帰呼び出しを延長された経路構造に対応づけ，再帰節を経路間の差分に対応づけた．アルゴリズムでは，まず飽和節から作られる事例の経路構造を選択し，それによって，非再帰節で処理されるまでの項の流れが表現されると仮定する．次に，これを順次短縮することで，再帰節で処理されるまでの経路構造を求め，対応する差分から各再帰呼び出しをする再帰節を求める．これにより，従来よりボトムアップ法で求められなかった複数の再帰節を持つプログラムを帰納することが可能となった．論文では，本方法に基づいたアルゴリズムとその実装について述べ，他のシステムとの比較実験の結果を示す．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: In this paper we present a bottom-up algorithm called MRI to induce logic programs from their examples.This method can induce programs with a base clause and one or more recursive clauses from a very small number of examples.MRI is based on the analysis of saturations of examples.An ILP system TIM,developed by Idestam-Almquist,introduced a path structure to express a stream of terms processed by predicates.In this paper,we introduce the concepts of extension and difference of path structures.A recursive call corresponds with an extension of path structure and a recursive clause can be expressed as a difference between a path structure and its extension.First,MRI assumes a path structure that expresses a last recursive call,which should be processed by a non-recursive clause.Then MRI generates path structures of which the path structure of the last call is an extension.A recursive clause corresponds with a difference of them.MRI is the first bottom-up ILP algorithm that can induce programs with more than one recursive clause.The paper describes the algorithm and its implementation.Experimental results are shown comparing with another system.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN00116647
• 書誌情報: 情報処理学会論文誌; 巻 39, 号 12, p. 3155-3164, 発行日 1998-12-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7764