2024-03-29T02:08:23Zhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaipmhoai:ipsj.ixsq.nii.ac.jp:000510502023-04-27T10:00:04Z01164:04402:04487:04489
一般化論理プログラムのunfoldingによる変換ルールの合成Synthesis of Conversion - Rules by unfolding of generalized logic programjpnhttp://id.nii.ac.jp/1001/00051050/Technical Reporthttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_action_common_download&item_id=51050&item_no=1&attribute_id=1&file_no=1Copyright (c) 1992 by the Information Processing Society of Japan北海道大学工学部北海道大学工学部北海道大学工学部馬淵, 浩司赤間, 清宮本, 衛市本論文では、一般化論理プログラムの unfolding を用いて変換ルールを合成する手法について述べる。unfolding とは、Horn 節の Head を Body に展開する方法である。GLP の unfolding の理論は、より広い範囲のプログラムを扱うために、Prolog の unfolding の理論を改善し拡張したものである。GLP の unfolding による合成では、unfolding によって、もとの2つの Horn 節から複数の生成節を得ることがある。本論文では、複数の生成節の中から、与えられた具体例に対応した適切な生成節を選び出す手法についても述べる。また、GLP の unfolding による合成の有用性を明らかにするために、Prolog の unfolding による合成と比較する。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.AA11135936情報処理学会研究報告知能と複雑系(ICS)199270(1992-ICS-084)71801992-09-102009-06-30