| 講演名 | 1998/8/6 論理的問題にかわる新しい問題クラスの導入 赤間 清, 小池 秀勝, 宮本 衛市, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 論理プログラミングにおける問題の定式化では, 与えられた問題を, 論理プログラムPと問い合わせqの2項組で表現するが, その妥当性を正当化するのは容易ではなく, 誤りが生じる場合がある.この困難を解決するために我々は, インターセクション問題と呼ばれる新しい問題のクラスを提案する.インターセクション問題は, 宣言的記述と問い合わせの2項組からなる.その目的は, 2つの集合-宣言的記述で定義される集合と問い合わせで表現される集合-の共通部分を求めることである.インターセクション問題は, 論理的な構造(論理記号, 論理式, 解釈, モデル, 論理的帰結, 推論など)と独立に定義される.与えられた問題をインターセクション問題として定式化するのは論理的な定式化より明解であり, 論理的な定式化によって起こり得る誤った定式化を避けることができる. |
| 抄録(英) | Logical formalization, which formalizes a given problem by a pair of a program P and a query q, is difficult to validate and may be mistaken. To overcome this difficulty, a new class of problems, called "intersection problems" is proposed. An intersection problem consists of a declarative description and a query. The objective of an intersection problem is to find the intersection of two sets : the set defined by the description and the set represented by the query. Intersection problems are defined independently of logical structures(logical connectives, logical formulas, interpretations, models, logical consequence, inference, etc.)and can be formalized more clearly, thus avoiding invalid formalizations that may be obtained by logical formalization. |
| キーワード(和) | 論理プログラミング / 論理的問題 / 宣言的意味 / 等価変換 |
| キーワード(英) | logic programming / logical problem / declarative semantics / equivalent transformation |
| 資料番号 | KBSE98-7 |
| 発行日 |
| 研究会情報 | |
| 研究会 | KBSE |
|---|---|
| 開催期間 | 1998/8/6(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Knowledge-Based Software Engineering (KBSE) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 論理的問題にかわる新しい問題クラスの導入 |
| サブタイトル（和） | |
| タイトル（英） | Introduction of a New Class Problems in Place of Logical Problems |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 論理プログラミング / logic programming |
| キーワード(2)（和/英） | 論理的問題 / logical problem |
| キーワード(3)（和/英） | 宣言的意味 / declarative semantics |
| キーワード(4)（和/英） | 等価変換 / equivalent transformation |
| 第 1 著者 氏名（和/英） | 赤間 清 / Kiyoshi Akama |
| 第 1 著者 所属（和/英） | 北海道大学大学院システム情報工学専攻 Division of System and Information Engineering, Hokkaido University |
| 第 2 著者 氏名（和/英） | 小池 秀勝 / Hidekatsu Koike |
| 第 2 著者 所属（和/英） | 北海道大学大学院システム情報工学専攻 Division of System and Information Engineering, Hokkaido University |
| 第 3 著者 氏名（和/英） | 宮本 衛市 / Eiichi Miyamoto |
| 第 3 著者 所属（和/英） | 北海道大学大学院システム情報工学専攻 Division of System and Information Engineering, Hokkaido University |
| 発表年月日 | 1998/8/6 |
| 資料番号 | KBSE98-7 |
| 巻番号（vol） | vol.98 |
| 号番号（no） | 238 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |