2001 Fiscal Year Final Research Report Summary
Research on an Integrated System for Fast SAT Planning
| Project/Area Number |
12680384
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
Intelligent informatics
|
|---|
| Research Institution | Kobe University |
|---|
Principal Investigator |
INOUE Katsumi Kobe University, Engineering, Associate Professor, 工学部, 助教授 (10252321)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
NABESHIMA Hidetomo Yamanashi University, Engineering, Assistant Professor, 工学部, 助手 (10334848)
HANEDA Hiromasa Kobe University, Engineering, Professor, 工学部, 教授 (10031113)
|
|---|
| Project Period (FY) |
2000 – 2001
|
| Keywords | planning / satisfiability (SAT) / reasoning about change / SAT planning / action language / planning graph / アクション言語 / SATソルバ |
|---|
| Research Abstract |
SAT planning is a fast planning method which converts a planning problem into a satisfiability (SAT) problem and extracts a plan by solving the SAT problem using a fast SAT solver. In this research, we have developed an integrated action language processing system AMP to perform fast SAT planning on domain descriptions described in action languages : The contributions of the research can be summerized as follows.
1. We have developed several algorithms to convert domain descriptions described in action languages into SAT problems. In particular, we have considered an algorithm which transforms planning problems involving nondeterministic actions into SAT problems.
2. We have implemented several planning engines in AMP. Using planning graphs as data structures, we have developed forward/backward/mixed graph expansion algorithms to perform planning as fast as possible. We have also designed our system to have multiple SAT solvers for SAT planning. Depending on the feature of a problem, some SAT solvers perform better than others.
3. We have considered learning algorithms for speed-up planning. Given observations that describe fluent values after performing action sequences, learning algorithms induce causal relationships between actions and their effects.
4. AMP has been implemented in Java, and has an ability to draw planning graphs for interactive uses. Experimental results with big benchmark problems show that the performance of AMP is comparable to one of the fastest planner in the world. Unlike previous systems, however, AMP can interpret a description in an action language directly, and can answer queries for not only planning but model generation efficiently.
|
