| 講演名 | 2000/1/13 SATソルバによるアクション言語処理系の実装 鍋島 英知, 井上 克巳, 羽根田 博正, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 最近, 高速なプランニングアルゴリズムの1つとして, プランニンググラフと呼ばれるデータ構造を用いた手法が研究されている.それは, プラン探索空間をいったんプランニンググラフに符号化した後, 充足可能性問題(SAT)に変換し, 高速なSATソルバにより解くという手法である.本研究では, このプランニンググラフとSATソルバによるプラン抽出法を基に, アクション言語処理系AMPを実装した.AMPでは, アクション言語Aによる領域記述に対し, プランニングの他にも, 予測や推定, モデル生成(初期状態の推定)等を問い合わせることができる. |
| 抄録(英) | In recent years the research of planning algorithm has advanced drastically. First of all, the approach encodes plan search space into the data structure called planning graph. Next the graph is transformed into the satisfiability problem(SAT), and then is solved by a high-performance SAT solver. In this study, we implemented an action language processing system AMP on the basis of planning graph and the plan extraction by a SAT solver. Using this system, it becomes possible to do planning and model generation(estimation of the initial state)for a domain description written in the action language A. |
| キーワード(和) | アクション言語 / プランニング / SAT / プランニンググラフ |
| キーワード(英) | Action languages / planning / SAT / planning-graph |
| 資料番号 | AI99-84 |
| 発行日 |
| 研究会情報 | |
| 研究会 | AI |
|---|---|
| 開催期間 | 2000/1/13(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Artificial Intelligence and Knowledge-Based Processing (AI) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | SATソルバによるアクション言語処理系の実装 |
| サブタイトル（和） | |
| タイトル（英） | Implementing an Action Language using a SAT Solver |
| サブタイトル（和） | |
| キーワード(1)（和/英） | アクション言語 / Action languages |
| キーワード(2)（和/英） | プランニング / planning |
| キーワード(3)（和/英） | SAT / SAT |
| キーワード(4)（和/英） | プランニンググラフ / planning-graph |
| 第 1 著者 氏名（和/英） | 鍋島 英知 / Hidetomo Nabeshima |
| 第 1 著者 所属（和/英） | 神戸大学大学院自然科学研究科 Graduate School of Science and Technology, Kobe Univesity |
| 第 2 著者 氏名（和/英） | 井上 克巳 / Katsumi Inoue |
| 第 2 著者 所属（和/英） | 神戸大学大学院自然科学研究科:神戸大学工学部電気電子工学科 Graduate School of Science and Technology, Kobe Univesity:Daprtment of Electrical and Electronics Engineering, Faculty of Engineering, Kobe University |
| 第 3 著者 氏名（和/英） | 羽根田 博正 / Hiromasa Haneda |
| 第 3 著者 所属（和/英） | 神戸大学大学院自然科学研究科:神戸大学工学部電気電子工学科 Graduate School of Science and Technology, Kobe Univesity:Daprtment of Electrical and Electronics Engineering, Faculty of Engineering, Kobe University |
| 発表年月日 | 2000/1/13 |
| 資料番号 | AI99-84 |
| 巻番号（vol） | vol.99 |
| 号番号（no） | 534 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |