WEKO3
アイテム
一般化論理プログラムのunfoldingによる変換ルールの合成
https://ipsj.ixsq.nii.ac.jp/records/51050
https://ipsj.ixsq.nii.ac.jp/records/51050dfb2d846-d8ca-499f-aa35-8665d8869dd9
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-ICS92084008.pdf (1.3 MB)
|
Copyright (c) 1992 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | SIG Technical Reports(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 1992-09-10 | |||||||
| タイトル | ||||||||
| タイトル | 一般化論理プログラムのunfoldingによる変換ルールの合成 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | Synthesis of Conversion - Rules by unfolding of generalized logic program | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
| 資源タイプ | technical report | |||||||
| 著者所属 | ||||||||
| 北海道大学工学部 | ||||||||
| 著者所属 | ||||||||
| 北海道大学工学部 | ||||||||
| 著者所属 | ||||||||
| 北海道大学工学部 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Dept. of Information Eng., Faculty of Eng., Hokkaido Univ. | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Dept. of Information Eng., Faculty of Eng., Hokkaido Univ. | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Dept. of Information Eng., Faculty of Eng., Hokkaido Univ. | ||||||||
| 著者名 |
馬淵, 浩司
赤間, 清
宮本, 衛市
× 馬淵, 浩司 赤間, 清 宮本, 衛市
|
|||||||
| 著者名(英) |
Hiroshi, Mabuchi
Kiyoshi, Akama
Eiichi, Miyamoto
× Hiroshi, Mabuchi Kiyoshi, Akama Eiichi, Miyamoto
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 本論文では、一般化論理プログラムの unfolding を用いて変換ルールを合成する手法について述べる。unfolding とは、Horn 節の Head を Body に展開する方法である。GLP の unfolding の理論は、より広い範囲のプログラムを扱うために、Prolog の unfolding の理論を改善し拡張したものである。GLP の unfolding による合成では、unfolding によって、もとの2つの Horn 節から複数の生成節を得ることがある。本論文では、複数の生成節の中から、与えられた具体例に対応した適切な生成節を選び出す手法についても述べる。また、GLP の unfolding による合成の有用性を明らかにするために、Prolog の unfolding による合成と比較する。 | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | In this paper, we describe a method for synthesizing Conversion-Rules by unfolding of generalized logic program(GLP). Unfolding is a method which unfolds Head of Horn clause to Body. Unfolding of GLP is a method that improves and extends ones of Prolog for dealing with programs of more extensive field. Synthesis by unfolding of GLP is possible to get plural generated clauses from original 2 Horn clauses. In addition, we describe a method for selecting appropriate generated clauses which correspond to given example from plural generated clauses. And to make clear availability of synathesis by unfolding of GLP, we compare with ones by unfolding of Prolog. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AA11135936 | |||||||
| 書誌情報 |
情報処理学会研究報告知能と複雑系（ICS） 巻 1992, 号 70(1992-ICS-084), p. 71-80, 発行日 1992-09-10 |
|||||||
| Notice | ||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
