| 講演名 | 2004-06-21 極小限定モデルの解集合プログラミングによる計算(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論、論理プログラム,プランニングetc.」及び一般) 若木 利子, 井上 克巳, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 従来,極小限定を論理プログラミングで計算する場合,対象の極小限定と意味論的に同値な論理プログラムに変換するアプローチが取られていた。本論文では,優先順位付き極小限定を解集合プログラミングに変換して,従来の方法より効率的に優先順位付き極小限定のモデルを計算する方法を提案する.我々のアプローチの基本的アイデアは,所与の極小限定の候補モデルを生成し,その候補モデルより極小限定の順序≦P^1>・・・>P^k;Zに関するStrictly preferredなモデルを生成する変換論理プログラムを構成する.この結果,当該プログラムの無矛盾性より,候補モデルが優先順位付き極小限定のモデルか否かが決定できる.提案する方法の健全性・完全性定理も示す.本論文で提案する方法に基づいた極小限定モデル生成プロトタイプ・プログラムは既に開発され,良い性能が得られている. |
| 抄録(英) | In computing circumscription by logic programming, circumscription is usually transformed into some target logic program whose answer sets yield the Herbrand models of circumscription. In this paper, we propose a new method of computing models of prioritized circumscription in answer set programming, which is correct and more efficient than previous approaches. The basic idea of our approach is to transform a given circumscription into a general extended disjunctive program whose answer sets (if exist) yield strictly preferred models to a given candidate model with respect to the preorder≦P^1>・・・>P^k;Z. Hence its inconsistency enables us to determine models of prioritized circumscription. We also show the soundness and completeness theorems for our method. Based on our new method, a circumscriptive model generator has already been implemented, and the preliminary experimental results are encouraging. |
| キーワード(和) | 優先順位付き極小限定 / 解集合プログラミング / プリファレンス / 極小モデル |
| キーワード(英) | prioritized circumscription / answer set programming / preferences / minimal models |
| 資料番号 | AI2004-6 |
| 発行日 |
| 研究会情報 | |
| 研究会 | AI |
|---|---|
| 開催期間 | 2004/6/14(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Artificial Intelligence and Knowledge-Based Processing (AI) |
|---|---|
| 本文の言語 | ENG |
| タイトル（和） | 極小限定モデルの解集合プログラミングによる計算(「自動推論:帰納,演繹,モデル検査/生成,学習,発見,仮説推論、論理プログラム,プランニングetc.」及び一般) |
| サブタイトル（和） | |
| タイトル（英） | Computing Circumscriptive Models by means of Answer Set Programming |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 優先順位付き極小限定 / prioritized circumscription |
| キーワード(2)（和/英） | 解集合プログラミング / answer set programming |
| キーワード(3)（和/英） | プリファレンス / preferences |
| キーワード(4)（和/英） | 極小モデル / minimal models |
| 第 1 著者 氏名（和/英） | 若木 利子 / Toshiko WAKAKI |
| 第 1 著者 所属（和/英） | 芝浦工業大学 Shibaura Institute of Technology |
| 第 2 著者 氏名（和/英） | 井上 克巳 / Katsumi INOUE |
| 第 2 著者 所属（和/英） | 国立情報学研究所 National Institute of Informatics |
| 発表年月日 | 2004-06-21 |
| 資料番号 | AI2004-6 |
| 巻番号（vol） | vol.104 |
| 号番号（no） | 133 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |