Parsing-based Approaches for Verification and Recognition of Hierarchical PlansDownload PDF

02 Apr 2019 (modified: 02 Jul 2019)ICAPS 2019 Workshop Hierarchical Planning Blind SubmissionReaders: Everyone
  • Keywords: hierarchical task networks, plan verification, plan recognition, parsing, attribute grammars
  • TL;DR: The paper describes methods to verify and recognize HTN plans by parsing of attribute grammars.
  • Abstract: Hierarchical planning, in particular, Hierarchical Task Networks, was proposed as a method to describe plans by decomposition of tasks to sub-tasks until primitive tasks, actions, are obtained. Plan verification assumes a complete plan as input, and the objective is finding a task that decomposes to this plan. In plan recognition, a prefix of the plan is given and the objective is finding a task that decomposes to the (shortest) plan with the given prefix. This paper describes how to verify and recognize plans using a common method known from formal grammars, by parsing.
2 Replies

Loading