| 講演名 | 1999/1/23 3値アブダクティブ証明手続き 黒瀬 義則, 山崎 進, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 3値アブダクション枠組の宣言的意味は3値安定モデルと対応していることや, 従来のアブダクティブ証明手続きによって得られるアブダクティブ説明はこの宣言的意味に関して健全であることが示されている.しかし, 従来の証明手続きでは, 3値アブダクション枠組の未定義と解釈される集合であるアブダクティブ調整を扱うことができない.本稿では, アブダクティブ調整を扱えるようにするため, 従来の証明手続きを拡張することによって, 3値アブダクティブ証明手続きを定義する.そしてこの証明手続きが3値アブダクション枠組の宣言的意味に関して健全であることを示す. |
| 抄録(英) | We have defined the 3-valued abduction framework, whose declarative semantics is corresponding to the 3-valued stable model. Eshghi and Kowalski's abductive proof procedure is a procedure to obtain the abductive explanation for a query and is sound with respect to the declarative semantics of the framework. But this procedure cannot treat the abductive adjustment, the set of abducible atoms interpreted undefined. In this paper, we define the 3-valued abductive proof proceduce by extending it, and show its soundness with respect to the declarative semantics of the 3-valued abduction framework. |
| キーワード(和) | アブダクション / 3値論理 / アブダクティブ証明手続き |
| キーワード(英) | abduction / 3-valued logic / abductive proof procedure |
| 資料番号 | COMP98-78 |
| 発行日 |
| 研究会情報 | |
| 研究会 | COMP |
|---|---|
| 開催期間 | 1999/1/23(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Theoretical Foundations of Computing (COMP) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 3値アブダクティブ証明手続き |
| サブタイトル（和） | |
| タイトル（英） | Three-valued abductive proof procedure |
| サブタイトル（和） | |
| キーワード(1)（和/英） | アブダクション / abduction |
| キーワード(2)（和/英） | 3値論理 / 3-valued logic |
| キーワード(3)（和/英） | アブダクティブ証明手続き / abductive proof procedure |
| 第 1 著者 氏名（和/英） | 黒瀬 義則 / Yoshinori Kurose |
| 第 1 著者 所属（和/英） | 岡山大学工学部情報工学科 Department of Information Technology, Okayama University |
| 第 2 著者 氏名（和/英） | 山崎 進 / Susumu Yamasaki |
| 第 2 著者 所属（和/英） | 岡山大学工学部情報工学科 Department of Information Technology, Okayama University |
| 発表年月日 | 1999/1/23 |
| 資料番号 | COMP98-78 |
| 巻番号（vol） | vol.98 |
| 号番号（no） | 562 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |