| 講演名 | 2006-11-10 生成と検査の論理プログラムの統合による優先順位付き極小限定の一般選言論理プログラムへの変換(「さまざまな分野の形式的検証最前線」及びAI一般) 若木 利子, 富田 一夫, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 近年,我々は優先順位付き極小限定のモデルを解集合論理プログラミング(Answer Set Programming)を用いて計算する方法を提案した.しかし,極小限定モデルを計算する論理プログラムは生成・検査法の構造を持ち,モデル候補を生成するguessプログラムと,生成された候補モデルに対して極小限定のモデル判定を行うcheckプログラムの2つの一般選言論理プログラム(GDPs)で構成されていた.この結果,候補モデルの数の分の検査が必要であり,これが性能上の負荷となった.本論文では,このような生成と検査を行う2つの論理プログラム(GDPs)を統合して,所与の優先順位付き極小限定から,直接,当該極小限定のモデルを解集合として生成する一個の論理プログラム(GDP)の構成・変換方法を提案する.この結果,優先順位付き極小限定のモデル計算のみならず,当該極小限定に対する質問評価,即ち,極小限定に関する定理証明も本論文の変換方法を用いて構成される論理プログラム(GDP)の矛盾性判定により容易に計算可能となる.他方,我々の本論文の方法に基づいて実装されたツールcircum2,生成・検査の方法に基づいたツールcircum1,及び, Janhunenらの方法に基づいたツールprio_circ2dlpの計算機実験による評価結果より,circum2の性能が最も良く,本方法は多くの点で優位性があることが確認された. |
| 抄録(英) | Recently we proposed a method of compiling prioritized circumscription into ASP. However, its encoding has the guess and check structure, where the candidates are generated by the guess program and the check is expressed by the inconsistency of the check program. In this paper, we present another method which compiles prioritized circumscription into a single general disjunctive program (GDP) by means of integration of the guess and check programs. The answer sets of the transformed GDP yield models of a given circumscription by emulating the inconsistency of the check program using integrity constraints. Moreover, thanks to our integration technique, to evaluate a query with respect to prioritized circumscription is easily established by expressing the inco nsistency check in a single GDP. Our experimental results show that the performance of the tool we have implemented using our new method has not only improved remarkably, i.e. reduction of runtime as compared to our previous method, but has also exceeded that of the recently developed software tool, prio_tirc2dlp, for prioritized circumscription as far as our experiments are concerned. |
| キーワード(和) | 優先順位付き極小限定 / 一般選言論理プログラム / 解集合プログラミング / ASPソルバー |
| キーワード(英) | prioritized circumscription / general disjunctive programs / answer set programming / ASP solver |
| 資料番号 | AI2006-20 |
| 発行日 |
| 研究会情報 | |
| 研究会 | AI |
|---|---|
| 開催期間 | 2006/11/3(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Artificial Intelligence and Knowledge-Based Processing (AI) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 生成と検査の論理プログラムの統合による優先順位付き極小限定の一般選言論理プログラムへの変換(「さまざまな分野の形式的検証最前線」及びAI一般) |
| サブタイトル（和） | |
| タイトル（英） | Compiling Prioritized Circumscription into General Disjunctive Programs by Integration of Guess and Check Programs |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 優先順位付き極小限定 / prioritized circumscription |
| キーワード(2)（和/英） | 一般選言論理プログラム / general disjunctive programs |
| キーワード(3)（和/英） | 解集合プログラミング / answer set programming |
| キーワード(4)（和/英） | ASPソルバー / ASP solver |
| 第 1 著者 氏名（和/英） | 若木 利子 / Toshiko WAKAKI |
| 第 1 著者 所属（和/英） | 芝浦工業大学システム工学部 Faculty of Systems Engineering, Shibaura Institute of Technology |
| 第 2 著者 氏名（和/英） | 富田 一夫 / Kazuo TOMITA |
| 第 2 著者 所属（和/英） | NTTデータクリエイション株式会社 NTT DATA CREATION CORPORATION |
| 発表年月日 | 2006-11-10 |
| 資料番号 | AI2006-20 |
| 巻番号（vol） | vol.106 |
| 号番号（no） | 340 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |