Unified Information and Control Flow in Hierarchical Task Networks

Much recent planning research has focused on two related issues. First, there has been a strong interest in information-gathering (or "sensing", or "knowledgeproducing") actions. Second, has been an investigation of plans with sophisticated control structures, such as conditional branches and loops. But the combination of these two lines of research poses a representational problem: plans with information-gathering actions that can be executed more than once can have complex information-flow and control-flow relationships. In this paper, we present a framework for the representation and execution of hierarchical plans with information producing actions, conditional branches, periodic actions, and loops. Our framework subsumes several techniques found in the recent literature.

[1]  Thomas Wagner,et al.  MACRON: An Architecture for Multi-agent Cooperative Information Gathering , 1995, CIKM 1995.

[2]  R. James Firby Task Networks for Controlling Continuous Processes , 1994, AIPS.

[3]  Robert C. Moore A Formal Theory of Knowledge and Action , 1984 .

[4]  Craig A. Knoblock Generating Parallel Execution Plans with a Partial-order Planner , 1994, AIPS.

[5]  Timothy W. Finin,et al.  KQML as an agent communication language , 1994, CIKM '94.

[6]  Reid G. Simmons,et al.  Structured control for autonomous robots , 1994, IEEE Trans. Robotics Autom..

[7]  Daniel S. Weld,et al.  Probabilistic Planning with Information Gathering and Contingent Execution , 1994, AIPS.

[8]  David E. Smith,et al.  Representation and Evaluation of Plans with Loops , 1995 .

[9]  Mark A. Peot,et al.  Conditional nonlinear planning , 1992 .

[10]  Sam Steel,et al.  Integrating Planning, Execution and Monitoring , 1988, AAAI.

[11]  Thomas Wagner,et al.  MACRON : An Architecture for Multi-agentCooperative Information , 1995 .

[12]  Peter Haddawy,et al.  Representing Iterative Loops for Decision-Theoretic Planning* (Preliminary Report) , 1995 .

[13]  Richard Goodwin Using Loops in Decision-Theoretic Refinement Planners , 1996, AIPS.

[14]  James A. Hendler,et al.  UMCP: A Sound and Complete Procedure for Hierarchical Task-network Planning , 1994, AIPS.

[15]  Leora Morgenstern,et al.  Knowledge Preconditions for Actions and Plans , 1988, IJCAI.

[16]  Craig A. Knoblock Planning, Executing, Sensing, and Replanning for Information Gathering , 1995, IJCAI.

[17]  Oren Etzioni,et al.  An Approach to Planning with Incomplete Information , 1992, KR.