On Heuristics for Parsing-based Verification of Hierarchical Plans with a Goal Task

Authors

  • Simona Ondrčková Charles University
  • Roman Barták Charles University
  • Pascal Bercher Australian National University
  • Gregor Behnke University of Freiburg

DOI:

https://doi.org/10.32473/flairs.v35i.130606

Abstract

Verification of hierarchical plans deals with the problem if a given action sequence is a valid hierarchical plan – the action sequence can be obtained by decomposing a particular (goal) task using given decomposition methods. The existing parsing-based verification approach greedily composes actions until it obtains the goal task. Greediness implies that this approach also
generates tasks unrelated to the goal task. In this paper, we study the use of heuristics when creating new tasks. We also ask whether the prior knowledge of the goal task improves efficiency.

Downloads

Published

04-05-2022

How to Cite

Ondrčková, S., Barták, R., Bercher, P., & Behnke, G. (2022). On Heuristics for Parsing-based Verification of Hierarchical Plans with a Goal Task. The International FLAIRS Conference Proceedings, 35. https://doi.org/10.32473/flairs.v35i.130606

Issue

Section

Special Track: Autonomous Robots and Agents