| 講演名 | 2003/5/22 優先的解集合の論理プログラミングによる計算(<特集>「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(自動推論) 若木 利子, 井上 克巳, 坂間 千秋, 新田 克巳, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 近年に提案された優先度付き論理プログラム(PLP)では,論理プログラムにリテラルの優先情報が付与され,その意味論は優先的解集合により与えられている.PLPは種々の非単調推論やプリファレンス・アブダクションの枠組の表現と推論を可能とするが,これ迄,優先的解集合を計算する健全な手続きが存在しなかった.本論文では,PLPの優先的解集合を計算する健全かつ完全な手続きを提案する.さらに本手続きは,PLPの僅かな拡張で法的推論における動的プリファレンスが扱えることを示レ静的プリファレンスのみを対象としたPLPの表現力を高めることが可能であることを示す. |
| 抄録(英) | A framework of Prioritized logic programs (PLPs) is useful to represent explicit priorities between literals of logic programs. With its expressive power, PLPs theoretically enable us to realize various frameworks of nonmonotonic reasoning as well as preference abduction. However, so far, its implementation issues have scarcely been provided and even any sound procedure to compute preferred answer sets which give the semantics of PLPs, has not been proposed. In this paper, we present a procedure to compute all preferred answer sets of a PLP in answer set programming. We show soundness and completeness theorems for the procedure. Finally we show that our procedure makes PLPs not only practically available, but also have the capability of representing the dynamic preferences in addition to static ones. |
| キーワード(和) | 優先度付き論理プログラム / 優先的解集合 / 動的プリファレンス |
| キーワード(英) | Prioritized Logic Programs / preferred answer sets / dynamic preferences |
| 資料番号 | AI2003-5 |
| 発行日 |
| 研究会情報 | |
| 研究会 | AI |
|---|---|
| 開催期間 | 2003/5/22(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Artificial Intelligence and Knowledge-Based Processing (AI) |
|---|---|
| 本文の言語 | ENG |
| タイトル（和） | 優先的解集合の論理プログラミングによる計算(<特集>「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論,論理プログラム,プランニングetc.」及び一般)(自動推論) |
| サブタイトル（和） | |
| タイトル（英） | Computing Preferred Answer Sets by means of Answer Set Programming |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 優先度付き論理プログラム / Prioritized Logic Programs |
| キーワード(2)（和/英） | 優先的解集合 / preferred answer sets |
| キーワード(3)（和/英） | 動的プリファレンス / dynamic preferences |
| 第 1 著者 氏名（和/英） | 若木 利子 / Toshiko WAKAKl |
| 第 1 著者 所属（和/英） | 芝浦工業大学システムエ学部 Faculty of Systems Engineering, Shibaura Institute of Technology, |
| 第 2 著者 氏名（和/英） | 井上 克巳 / Katsumi INOUE |
| 第 2 著者 所属（和/英） | 神戸大学工学部 Department of Electrical and Electronics Engineering, Kobe University, |
| 第 3 著者 氏名（和/英） | 坂間 千秋 / Chiaki SAKAMA |
| 第 3 著者 所属（和/英） | 和歌山大学システム情報学センター Department of Electrical and Electronics Engineering, Kobe University, |
| 第 4 著者 氏名（和/英） | 新田 克巳 / Katsumi NITTA |
| 第 4 著者 所属（和/英） | 東京工業大学大学院総合理工学研究科 Department of Computational Intelligence and Systems Science, Tokyo Institute of Technology, |
| 発表年月日 | 2003/5/22 |
| 資料番号 | AI2003-5 |
| 巻番号（vol） | vol.103 |
| 号番号（no） | 103 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |