Addendum to: Summary Information for Reasoning About Hierarchical Plans

08/09/2017
by   Lavindra de Silva, et al.
0

Hierarchically structured agent plans are important for efficient planning and acting, and they also serve (among other things) to produce "richer" classical plans, composed not just of a sequence of primitive actions, but also "abstract" ones representing the supplied hierarchies. A crucial step for this and other approaches is deriving precondition and effect "summaries" from a given plan hierarchy. This paper provides mechanisms to do this for more pragmatic and conventional hierarchies than in the past. To this end, we formally define the notion of a precondition and an effect for a hierarchical plan; we present data structures and algorithms for automatically deriving this information; and we analyse the properties of the presented algorithms. We conclude the paper by detailing how our algorithms may be used together with a classical planner in order to obtain abstract plans.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

03/06/2013

A Method for Planning Given Uncertain and Incomplete Information

This paper describes ongoing research into planning in an uncertain envi...
11/17/2018

Learning Features and Abstract Actions for Computing Generalized Plans

Generalized planning is concerned with the computation of plans that sol...
05/24/2017

Efficient, Safe, and Probably Approximately Complete Learning of Action Models

In this paper we explore the theoretical boundaries of planning in a set...
11/07/2019

Hierarchical Finite State Controllers for Generalized Planning

Finite State Controllers (FSCs) are an effective way to represent sequen...
06/02/2010

Learning Probabilistic Hierarchical Task Networks to Capture User Preferences

We propose automatically learning probabilistic Hierarchical Task Networ...
09/14/2018

On Plans With Loops and Noise

In an influential paper, Levesque proposed a formal specification for an...
09/13/2017

Workflow Complexity for Collaborative Interactions: Where are the Metrics? -- A Challenge

In this paper, we introduce the problem of denoting and deriving the com...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.