TY - GEN
T1 - Heuristics for planning with SAT and expressive action definitions
AU - Rintanen, Jussi
PY - 2011
Y1 - 2011
N2 - We present the first effective SAT heuristics for planning with expressive planning languages such as ADL. Recently, SAT heuristics for STRIPS planning have been introduced. In this work we show that the basic ideas in the heuristic can be generalized to actions with conditional effects but without disjunction, and that disjunction requires a more fundamental analysis of the STRIPS heuristic, which, despite complications, will still lead to a natural heuristic which can be implemented efficiently. The experimental analysis shows substantial and systematic improvements over the state of the art in planning with SAT with ADL.
AB - We present the first effective SAT heuristics for planning with expressive planning languages such as ADL. Recently, SAT heuristics for STRIPS planning have been introduced. In this work we show that the basic ideas in the heuristic can be generalized to actions with conditional effects but without disjunction, and that disjunction requires a more fundamental analysis of the STRIPS heuristic, which, despite complications, will still lead to a natural heuristic which can be implemented efficiently. The experimental analysis shows substantial and systematic improvements over the state of the art in planning with SAT with ADL.
UR - http://www.scopus.com/inward/record.url?scp=80054839282&partnerID=8YFLogxK
M3 - Conference contribution
SN - 9781577355038
T3 - ICAPS 2011 - Proceedings of the 21st International Conference on Automated Planning and Scheduling
SP - 210
EP - 217
BT - ICAPS 2011 - Proceedings of the 21st International Conference on Automated Planning and Scheduling
T2 - 21st International Conference on Automated Planning and Scheduling, ICAPS 2011
Y2 - 11 June 2011 through 16 June 2011
ER -