Planning with Domain Rules Based on State-Independent Activation Sets

  • Zhi-hua Jiang
  • Yun-fei Jiang
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4303)


In AI planning community, planning domains with derived predicates are very challenging to many planning system. Derived predicate is a new application of domain rules and domain knowledge acquisition. In this paper, we propose an approach to planning with derived predicates: defining activation sets of a derived predicate which are unrelated to any specific state and computing them in the preprocess phase through the instantiation rule-graph; replacing a derived predicate with one of its activation sets in relax-plan to extract action sequences. And we also implement the proposed approach in a new planner, called FF-DP, which shows good performance in our experiments.


Deterministic planning Domain rules activation sets 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Edelkamp, S., Hoffmann, J.: PDDL2.2: The language for the Classic Part of the 4th International Planning Competition. T.R. no. 195, Institut fur Informatik, Freiburg, Germany (2004)Google Scholar
  2. 2.
    Thiebaux, S., Hoffmann, J., Nebel, B.: In Defense of PDDL Axioms. Artificial Intelligence 168(1-2), 38–69 (2005)zbMATHCrossRefMathSciNetGoogle Scholar
  3. 3.
    Hoffmann, J., Edelkamp, S., Englert, R., Liporace, F., Thiebaux, S., Trueg, S.: Towards Realistic Benchmarks for Planning: the Domains Used in the Classical Part of IPC-4 - Extended Abstract. In: Proceedings of the 4th International Planning Competition (IPC-40), Whistler, Canada, June 2004, pp. 7–14 (2004)Google Scholar
  4. 4.
    Davidson, M., Garagnani, M.: Pre-processing planning domains containing Language Axioms. In: Grant, T., Witteveen, C. (eds.) Proc. of the 21st Workshop of the UK Planning and Scheduling SIG (PlanSIG 2002), Delft (NL), November 2002, pp. 23–34 (2002)Google Scholar
  5. 5.
    Gerevini, A., Saetti, A., Serina, I., Toninelli, P.: Planning with Derived Predicates through Rule-Action Graphs and Relaxed-Plan Heuristics. R.T. 2005-01-40Google Scholar
  6. 6.
    Hoffmann, J., Nebel, B.: The FF Planning System: Fast Plan Generation through Heuristic Search. Journal of Artificial Intelligence Research 14, 253–302 (2001)zbMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Zhi-hua Jiang
    • 1
  • Yun-fei Jiang
    • 2
  1. 1.Dep. of Computer ScienceJi Nan UniversityGuang zhouChina
  2. 2.Software Research InstitutionZhong Shan UniversityGuang zhouChina

Personalised recommendations