| 講演名 | 1998/8/6 一階論理制約の等価変換を用いた問題解決の枠組 吉田 忠行, 赤間 清, 宮本 衛市, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 論理プログラミングでは, はじめは確定節で問題を表現していたが, 否定の表現を取りいれ, さらには一階述語論理の表現も論理式で扱うことができるようになった.このような問題の記述における一階述語論理の表現は, より柔軟でかつ高度な問題解決に貢献できる.しかし, 論理プログラミングは, 計算における柔軟性や正当性や, 高速性といった問題を抱えている.本論文ではこの問題を解決するために, 等価変換パラダイムにおいて, 一階述語論理の表現を扱うための枠組みを構築し, その枠組みに基づく問題解決の例を示す. |
| 抄録(英) | To attain efficient computation, the class of definite clauses, which is a small subclass of first-order predicate logic, has been adopted. Then the concept of logic program is extended to include negative atoms and arbitrary first-order formulas in the body of definite clauses. Such extension increases the expressive power of logic programs greatly. Computation of first-order expressions has, however, some limitatoins in flexiblity, efficiency, and correctness. In this paper, we adopt the equivalent transformation paradigm to overcome such difficulties. We extend the existing class of declarative descriptions, and construct a new framework for representation and computation of first-order expressions. An example of problem solving in the new framework is shown. |
| キーワード(和) | 等価変換 / 一階論理制約 / 宣言的記述 / 問題解決 |
| キーワード(英) | equivalent transformation / first-order logical constriant / declarative description / problem solving |
| 資料番号 | KBSE98-6 |
| 発行日 |
| 研究会情報 | |
| 研究会 | KBSE |
|---|---|
| 開催期間 | 1998/8/6(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Knowledge-Based Software Engineering (KBSE) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 一階論理制約の等価変換を用いた問題解決の枠組 |
| サブタイトル（和） | |
| タイトル（英） | A Framework of Problem Solving Using Equivalent Transformation of First-order Logical Constraints |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 等価変換 / equivalent transformation |
| キーワード(2)（和/英） | 一階論理制約 / first-order logical constriant |
| キーワード(3)（和/英） | 宣言的記述 / declarative description |
| キーワード(4)（和/英） | 問題解決 / problem solving |
| 第 1 著者 氏名（和/英） | 吉田 忠行 / Tadayuki Yoshida |
| 第 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 |
| 発表年月日 | 1998/8/6 |
| 資料番号 | KBSE98-6 |
| 巻番号（vol） | vol.98 |
| 号番号（no） | 238 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |