WEKO3
アイテム
層状プログラムにおけるUnfold/Fold変換
https://ipsj.ixsq.nii.ac.jp/records/51232
https://ipsj.ixsq.nii.ac.jp/records/51232a6b0178c-d4f2-471e-9866-0a09cda06d75
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-ICS89066005.pdf (1.3 MB)
|
Copyright (c) 1989 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | SIG Technical Reports(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 1989-09-22 | |||||||
| タイトル | ||||||||
| タイトル | 層状プログラムにおけるUnfold/Fold変換 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | UNFOLD/FOLD TRANSFORMATION OF STRATIFIED PROGRAMS | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
| 資源タイプ | technical report | |||||||
| 著者所属 | ||||||||
| 横浜国立大学 | ||||||||
| 著者所属 | ||||||||
| 横浜国立大学 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Yokohama National University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Yokohama National University | ||||||||
| 著者名 |
沈涵
× 沈涵
|
|||||||
| 著者名(英) |
Han, Shen
× Han, Shen
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 玉木?佐藤によって定義された確定節プログラムにおけるunfold/fold変換はプログラム合成など多くの分野で応用されている．確定節プログラムより一般的な否定を許す層状プログラムが整備された意味論を持つので，最近，論理プログラミングと非単調論理の分野で注目を浴びている．この論文では，層状プログラムにおけるunfold/fold変換を提案する．まず反復不動点意味論を導入し，そして，証明木や成功集合などの手続き的な定義を行って，両方が一致するような層状プログラムクラスを見つける．続いて，このような層状プログラムクラスに対して，unfold/fold変換規則を定義する．最後に，定義された変換について，反復不動点意味論で等価性が保存されることを証明する． | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | Unfold/fold transformation rules of definite programs. proposed by Tamaki-Sato have been effectively used in logic programming. Recently. it is realized that stratified programs have satisfactory semantics, so much attention has been paid to such programs in logic programming and nonmonotonic logic. In this paper, we firstly introduce the iterated fixed points of declarative semantics and define our procedural semantics for stratified programs, then find out the stratified program classes which the two semantics coincides. Nextly, we propose unfold/fold transformation rules for such stratified programs and prove that the transformation preserves equivalence in a sense of iterated fixed point semantics. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AA11135936 | |||||||
| 書誌情報 |
情報処理学会研究報告知能と複雑系（ICS） 巻 1989, 号 78(1989-ICS-066), p. 1-10, 発行日 1989-09-22 |
|||||||
| Notice | ||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
