Skip to main content
Top

2017 | OriginalPaper | Chapter

Interval Based Relaxation Heuristics for Numeric Planning with Action Costs

Authors : Johannes Aldinger, Bernhard Nebel

Published in: KI 2017: Advances in Artificial Intelligence

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

Many real-world problems can be expressed in terms of states and actions that modify the world to reach a certain goal. Such problems can be solved by automated planning. Numeric planning supports numeric quantities such as resources or physical properties in addition to the propositional variables from classical planning. We approach numeric planning with heuristic search and introduce adaptations of the relaxation heuristics \(h_\text {max}\), \(h_\text {add}\) and \(h_{\text {FF}}\) to interval based relaxation frameworks. In contrast to previous approaches, the heuristics presented in this paper are not limited to fragments of numeric planning with instantaneous actions (such as linear or acyclic numeric planning tasks) and support action costs.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Footnotes
1
Scala et al. [17] run into a similar problem using “asynchronous subgoaling” and have to set the cost of hard conditions to 0 to ensure admissibility of \(h_\text {max}\).
 
Literature
1.
go back to reference Aldinger, J.: The Jumpbot domain for numeric planning. Technical report 279, University of Freiburg (2016) Aldinger, J.: The Jumpbot domain for numeric planning. Technical report 279, University of Freiburg (2016)
2.
go back to reference Aldinger, J., Mattmüller, R., Göbelbecker, M.: Complexity of interval relaxed numeric planning. In: Hölldobler, S., Krötzsch, M., Peñaloza, R., Rudolph, S. (eds.) KI 2015. LNCS (LNAI), vol. 9324, pp. 19–31. Springer, Cham (2015). doi:10.1007/978-3-319-24489-1_2 CrossRef Aldinger, J., Mattmüller, R., Göbelbecker, M.: Complexity of interval relaxed numeric planning. In: Hölldobler, S., Krötzsch, M., Peñaloza, R., Rudolph, S. (eds.) KI 2015. LNCS (LNAI), vol. 9324, pp. 19–31. Springer, Cham (2015). doi:10.​1007/​978-3-319-24489-1_​2 CrossRef
3.
go back to reference Aldinger, J., Nebel, B.: Addentum to ‘Interval Based Relaxation Heuristics for Numeric Planning with Action Costs’. Technical report 280, University of Freiburg (2017) Aldinger, J., Nebel, B.: Addentum to ‘Interval Based Relaxation Heuristics for Numeric Planning with Action Costs’. Technical report 280, University of Freiburg (2017)
4.
go back to reference Bonet, B., Geffner, H.: Planning as heuristic search: new results. In: Biundo, S., Fox, M. (eds.) ECP 1999. LNCS (LNAI), vol. 1809, pp. 360–372. Springer, Heidelberg (2000). doi:10.1007/10720246_28 CrossRef Bonet, B., Geffner, H.: Planning as heuristic search: new results. In: Biundo, S., Fox, M. (eds.) ECP 1999. LNCS (LNAI), vol. 1809, pp. 360–372. Springer, Heidelberg (2000). doi:10.​1007/​10720246_​28 CrossRef
6.
go back to reference Bonet, B., Loerincs, G., Geffner, H.: A robust and fast action selection mechanism for planning. In: Proceedings of the 14th National Conference on Artificial Intelligence and 9th Innovative Applications of Artificial Intelligence Conference (AAAI 1997/IAAI 1997), 27–31 July 1997, pp. 714–719 (1997) Bonet, B., Loerincs, G., Geffner, H.: A robust and fast action selection mechanism for planning. In: Proceedings of the 14th National Conference on Artificial Intelligence and 9th Innovative Applications of Artificial Intelligence Conference (AAAI 1997/IAAI 1997), 27–31 July 1997, pp. 714–719 (1997)
7.
go back to reference Coles, A., Coles, A., Fox, M., Long, D.: A hybrid LP-RPG heuristic for modelling numeric ressource flows in planning. J. Artif. Intell. Res. 46, 343–412 (2013)MATH Coles, A., Coles, A., Fox, M., Long, D.: A hybrid LP-RPG heuristic for modelling numeric ressource flows in planning. J. Artif. Intell. Res. 46, 343–412 (2013)MATH
8.
go back to reference Coles, A., Fox, M., Long, D., Smith, A.: A hybrid relaxed planning graph-LP heuristic for numeric planning domains. In: Proceedings of the 20th International Conference on Automated Planning and Search (ICAPS 2008) (2008) Coles, A., Fox, M., Long, D., Smith, A.: A hybrid relaxed planning graph-LP heuristic for numeric planning domains. In: Proceedings of the 20th International Conference on Automated Planning and Search (ICAPS 2008) (2008)
9.
go back to reference Edelkamp, S.: Generalizing the relaxed planning heuristic to non-linear tasks. In: Biundo, S., Frühwirth, T., Palm, G. (eds.) KI 2004. LNCS (LNAI), vol. 3238, pp. 198–212. Springer, Heidelberg (2004). doi:10.1007/978-3-540-30221-6_16 CrossRef Edelkamp, S.: Generalizing the relaxed planning heuristic to non-linear tasks. In: Biundo, S., Frühwirth, T., Palm, G. (eds.) KI 2004. LNCS (LNAI), vol. 3238, pp. 198–212. Springer, Heidelberg (2004). doi:10.​1007/​978-3-540-30221-6_​16 CrossRef
10.
go back to reference Fox, M., Long, D.: PDDL2.1: an extension to PDDL for expressing temporal planning domains. J. Artif. Intell. Res. 20, 61–124 (2003)MATH Fox, M., Long, D.: PDDL2.1: an extension to PDDL for expressing temporal planning domains. J. Artif. Intell. Res. 20, 61–124 (2003)MATH
11.
go back to reference Francès, G., Geffner, H.: Modeling and computation in planning: better heuristics from more expressive languages. In: Proceedings of the 25th International Conference on Automated Planning and Scheduling (ICAPS 2015) (2015) Francès, G., Geffner, H.: Modeling and computation in planning: better heuristics from more expressive languages. In: Proceedings of the 25th International Conference on Automated Planning and Scheduling (ICAPS 2015) (2015)
12.
go back to reference Helmert, M.: The fast downward planning system. J. Artif. Intell. Res. 26, 191–246 (2006)CrossRefMATH Helmert, M.: The fast downward planning system. J. Artif. Intell. Res. 26, 191–246 (2006)CrossRefMATH
13.
go back to reference Hoffmann, J.: The metric-FF planning system: translating ‘Ignoring Delete Lists’ to numeric state variables. J. Artif. Intell. Res. 20, 291–341 (2003)MATH Hoffmann, J.: The metric-FF planning system: translating ‘Ignoring Delete Lists’ to numeric state variables. J. Artif. Intell. Res. 20, 291–341 (2003)MATH
14.
go back to reference Hoffmann, J., Nebel, B.: The FF planning system: fast plan generation through heuristic search. J. Artif. Intell. Res. 14, 253–302 (2001)MATH Hoffmann, J., Nebel, B.: The FF planning system: fast plan generation through heuristic search. J. Artif. Intell. Res. 14, 253–302 (2001)MATH
15.
go back to reference Löhr, J., Eyerich, P., Keller, T., Nebel, B.: A planning based framework for controlling hybrid systems. In: Proceedings of the 22nd International Conference on Automated Planning and Scheduling (ICAPS 2012) (2012) Löhr, J., Eyerich, P., Keller, T., Nebel, B.: A planning based framework for controlling hybrid systems. In: Proceedings of the 22nd International Conference on Automated Planning and Scheduling (ICAPS 2012) (2012)
16.
go back to reference Long, D., Fox, M.: An overview and analysis of the results of the 3rd international planning competition. J. Artif. Intell. Res. 20, 1–59 (2003)CrossRefMATH Long, D., Fox, M.: An overview and analysis of the results of the 3rd international planning competition. J. Artif. Intell. Res. 20, 1–59 (2003)CrossRefMATH
17.
go back to reference Scala, E., Haslum, P., Thiébaux, S.: Heuristics for numeric planning via subgoaling. In: Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), pp. 655–663 (2016) Scala, E., Haslum, P., Thiébaux, S.: Heuristics for numeric planning via subgoaling. In: Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), pp. 655–663 (2016)
18.
go back to reference Scala, E., Haslum, P., Thiébaux, S., Ramírez, M.: Interval-based relaxation for general numeric planning. In: Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016), pp. 655–663 (2016) Scala, E., Haslum, P., Thiébaux, S., Ramírez, M.: Interval-based relaxation for general numeric planning. In: Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016), pp. 655–663 (2016)
Metadata
Title
Interval Based Relaxation Heuristics for Numeric Planning with Action Costs
Authors
Johannes Aldinger
Bernhard Nebel
Copyright Year
2017
DOI
https://doi.org/10.1007/978-3-319-67190-1_2

Premium Partner