The deterministic part of IPC-4: An overview

被引:64
作者
Hoffmann, J [1 ]
Edelkamp, S
机构
[1] Max Planck Inst Informat, Saarbrucken, Germany
[2] Univ Dortmund, Fachbereich Informat, D-4600 Dortmund, Germany
关键词
D O I
10.1613/jair.1677
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
We provide an overview of the organization and results of the deterministic part of the 4th International Planning Competition, i.e., of the part concerned with evaluating systems doing deterministic planning. IPC-4 attracted even more competing systems than its already large predecessors, and the competition event was revised in several important respects. After giving an introduction to the IPC, we briefly explain the main differences between the deterministic part of IPC-4 and its predecessors. We then introduce formally the language used, called PDDL2.2 that extends PDDL2.1 by derived predicates and timed initial literals. We list the competing systems and overview the results of the competition. The entire set of data is far too large to be presented in full. We provide a detailed summary; the complete data is available in an online appendix. We explain how we awarded the competition prizes.
引用
收藏
页码:519 / 579
页数:61
相关论文
共 38 条
[1]  
[Anonymous], 2004, ICAPS
[2]  
Bacchus F, 2001, AI MAG, V22, P47
[3]  
BACCHUS F, 2000, SUBSET PDDL AIPS2000
[4]  
Bertoli P, 2002, FRONT ARTIF INTEL AP, V77, P576
[5]   Social history as the history of measuring populations: A post-1987 renewal [J].
Blum, A .
KRITIKA-EXPLORATIONS IN RUSSIAN AND EURASIAN HISTORY, 2001, 2 (02) :279-294
[6]  
BLUM A, 1995, P 14 INT JOINT C ART, P1636
[7]  
Bonet B., 2003, Proceedings, Thirteenth International Conference on Automated Planning and Scheduling, P102
[8]  
CESTA A, 2001, RECENT ADV AI PLANNI
[9]  
Clarke E, 2001, Model checking
[10]   Taming numbers and durations in the model checking integrated planning system [J].
Edelkamp, S .
JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2003, 20 :195-238