| 講演名 | 1997/9/18 論理プログラムの準同型定理に基づく "解なし" 問題の解法 赤間 清, 馬淵 浩司, 宮本 衛市, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 本論文では, 論理プログラムと問い合わせで記述された問題に解がないことを示す "解なし" 問題を抽象化によって解決する枠組を提案し, その理論的基礎を与える. 基礎となるのは, 論理プログラムの間の準同型写像であり, 本論文の抽象化は準同型写像による変換として与えられる. 準同型写像で結びつけられた2つの論理プログラムの宣言的意味の間の関係を捉える準同型定理を与え, それに基づいて, "解なし" 問題を抽象化によって解く方法の正当性を証明する. |
| 抄録(英) | Complicated problems are often solved by their simplification into more manageable abstract problems, the solution of which yields information about the original problem. The proposed theory lays a foundation for such a technique to solve "no-solution" problems in logic programming. The new theory is based on the concept of a homomorphism, which maps a concrete logic program into an abstract one. A homomorphism theorem establishes a relationship between the declarative semantics of such programs, which is used to prove the correctness of the proposed abstraction, method for "no-solution" problems. |
| キーワード(和) | 準同型定理 / 論理プログラミング |
| キーワード(英) | abstraction / declarative semantics / homomorphism theorem / logic programming |
| 資料番号 | SS97-23 |
| 発行日 |
| 研究会情報 | |
| 研究会 | SS |
|---|---|
| 開催期間 | 1997/9/18(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Software Science (SS) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 論理プログラムの準同型定理に基づく "解なし" 問題の解法 |
| サブタイトル（和） | |
| タイトル（英） | Solving "No-solution" Problems based on Homomorphism Theorem of Logic Programs |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 準同型定理 / abstraction |
| キーワード(2)（和/英） | 論理プログラミング / declarative semantics |
| 第 1 著者 氏名（和/英） | 赤間 清 / Kiyoshi Akama |
| 第 1 著者 所属（和/英） | 北海道大学 工学部 システム情報工学専攻 Division of System and Information Engineering, Hokkaido University |
| 第 2 著者 氏名（和/英） | 馬淵 浩司 / Hiroshi Mabuchi |
| 第 2 著者 所属（和/英） | 北海道大学 工学部 システム情報工学専攻 Division of System and Information Engineering, Hokkaido University |
| 第 3 著者 氏名（和/英） | 宮本 衛市 / Eiichi Miyamoto |
| 第 3 著者 所属（和/英） | 北海道大学 工学部 システム情報工学専攻 Division of System and Information Engineering, Hokkaido University |
| 発表年月日 | 1997/9/18 |
| 資料番号 | SS97-23 |
| 巻番号（vol） | vol.97 |
| 号番号（no） | 260 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |