| 講演名 | 1995/7/14 否定を含む宣言的プログラムのプログラム変換 岡田 浩一, 赤間 清, 宮本 衛市, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 宣言的プログラムは、論理プログラムを拡張したものである。宣言的プログラムの等価変換による問題解決の枠組は、高い記述力を持つこと、処理の正当性を保証できることなどの長所を持っている。本論文の目的は、否定が扱えるように、宣言的プログラムを拡張することによって、記述力をさらに増大させる方法を示すことである。そのために、宣言的プログラムの定義に制約の概念を導入し、アトムの否定を制約の特殊形として扱う。そして、制約に対するプログラム変換ルールを提案し、否定の処理を実現する。この方法では、変数を含むアトムの否定を正しく計算することができる。 |
| 抄録(英) | Declarative program is all extention of logic program. The framework of problem solving based on equivalent transformation of declarative program has many merits, for example, high expressive power, provability of validity of processing and so on. The aim of this paper is to extend the declarative program to represent negation to obatain more expressive power. To achieve this, we introduce a concept of constraints into declarative programs. Negations of atoms is realized as special cases of constraints. We propose some program transformation rules for constraints, which enable to treat nagation of non-ground atoms correctly. |
| キーワード(和) | 論理プログラム / 宣言的プログラム / プログラム変換 / 否定 / 宣言的意味 / 制約 |
| キーワード(英) | logic program / declarative program / program transformation / negation / declarative semantics |
| 資料番号 | |
| 発行日 |
| 研究会情報 | |
| 研究会 | SS |
|---|---|
| 開催期間 | 1995/7/14(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Software Science (SS) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 否定を含む宣言的プログラムのプログラム変換 |
| サブタイトル（和） | |
| タイトル（英） | Program Transformation of Declarative Programs with Negation |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 論理プログラム / logic program |
| キーワード(2)（和/英） | 宣言的プログラム / declarative program |
| キーワード(3)（和/英） | プログラム変換 / program transformation |
| キーワード(4)（和/英） | 否定 / negation |
| キーワード(5)（和/英） | 宣言的意味 / declarative semantics |
| キーワード(6)（和/英） | 制約 |
| 第 1 著者 氏名（和/英） | 岡田 浩一 / Koichi Okada |
| 第 1 著者 所属（和/英） | 北海道大学工学研究科システム情報工学専攻 Division of System and Information Engineering, Hokkaido University |
| 第 2 著者 氏名（和/英） | 赤間 清 / Kiyoshi Akama |
| 第 2 著者 所属（和/英） | 北海道大学工学研究科システム情報工学専攻 Division of System and Information Engineering, Hokkaido University |
| 第 3 著者 氏名（和/英） | 宮本 衛市 / Eiichi Miyamoto |
| 第 3 著者 所属（和/英） | 北海道大学工学研究科システム情報工学専攻 Division of System and Information Engineering, Hokkaido University |
| 発表年月日 | 1995/7/14 |
| 資料番号 | |
| 巻番号（vol） | vol.95 |
| 号番号（no） | 144 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |