| 講演名 | 1998/7/23 一階論理制約による宣言的記述の拡張 吉田 忠行, 赤間 清, 宮本 衛市, |
|---|---|
| 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. |
| キーワード(和) | 等価変換 / 一階論理制約 / 制約システム / 宣言的記述 |
| キーワード(英) | equivalent transformation / first-order logical constriant / constraint system / declarative description |
| 資料番号 | OFS98-8,AI98-17 |
| 発行日 |
| 研究会情報 | |
| 研究会 | AI |
|---|---|
| 開催期間 | 1998/7/23(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Artificial Intelligence and Knowledge-Based Processing (AI) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 一階論理制約による宣言的記述の拡張 |
| サブタイトル（和） | |
| タイトル（英） | Extension of a Class of Declarative Descriptions Using First-order Logical Constraints |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 等価変換 / equivalent transformation |
| キーワード(2)（和/英） | 一階論理制約 / first-order logical constriant |
| キーワード(3)（和/英） | 制約システム / constraint system |
| キーワード(4)（和/英） | 宣言的記述 / declarative description |
| 第 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/7/23 |
| 資料番号 | OFS98-8,AI98-17 |
| 巻番号（vol） | vol.98 |
| 号番号（no） | 201 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |