htn maker learning htns with minimal additional knowledge
play

HTN-MAKER: Learning HTNs with Minimal Additional Knowledge - PowerPoint PPT Presentation

HTN-MAKER: Learning HTNs with Minimal Additional Knowledge Engineering Required Chad Hogg 1 Hctor Muoz-Avila 1 Ugur Kuter 2 1 Department of Computer Science & Engineering Lehigh University Bethlehem, Pennsylvania 18015, USA 2 University


  1. HTN-MAKER: Learning HTNs with Minimal Additional Knowledge Engineering Required Chad Hogg 1 Héctor Muñoz-Avila 1 Ugur Kuter 2 1 Department of Computer Science & Engineering Lehigh University Bethlehem, Pennsylvania 18015, USA 2 University of Maryland Institute for Advanced Computer Studies College Park, Maryland 20742, USA 23rd International AAAI Conference on Artificial Intelligence 2008-07-16 C. Hogg, H. Muñoz-Avila, U. Kuter HTN-MAKER

  2. Motivation Planning systems require some planning knowledge Simple STRIPS planners need only operators, which describe how actions change the world More advanced planners require operators and additional planning knowledge for problem solving Problem Developing additional planning knowledge for complex planners is a difficult manual process performed by domain experts C. Hogg, H. Muñoz-Avila, U. Kuter HTN-MAKER

  3. Motivation Planning systems require some planning knowledge Simple STRIPS planners need only operators, which describe how actions change the world More advanced planners require operators and additional planning knowledge for problem solving Problem Developing additional planning knowledge for complex planners is a difficult manual process performed by domain experts C. Hogg, H. Muñoz-Avila, U. Kuter HTN-MAKER

  4. Motivation Planning systems require some planning knowledge Simple STRIPS planners need only operators, which describe how actions change the world More advanced planners require operators and additional planning knowledge for problem solving Problem Developing additional planning knowledge for complex planners is a difficult manual process performed by domain experts C. Hogg, H. Muñoz-Avila, U. Kuter HTN-MAKER

  5. Motivation (2) Objective We describe an algorithm for learning such planning knowledge for a certain class of advanced planners known as Hierarchical Task Network (HTN) planners Actually, a specific form of HTN planning known as Ordered Task Decomposition (OTD) OTD planners are useful because of potential for efficiency and expressivity; used in most fielded applications C. Hogg, H. Muñoz-Avila, U. Kuter HTN-MAKER

  6. Motivation (2) Objective We describe an algorithm for learning such planning knowledge for a certain class of advanced planners known as Hierarchical Task Network (HTN) planners Actually, a specific form of HTN planning known as Ordered Task Decomposition (OTD) OTD planners are useful because of potential for efficiency and expressivity; used in most fielded applications C. Hogg, H. Muñoz-Avila, U. Kuter HTN-MAKER

  7. Motivation (2) Objective We describe an algorithm for learning such planning knowledge for a certain class of advanced planners known as Hierarchical Task Network (HTN) planners Actually, a specific form of HTN planning known as Ordered Task Decomposition (OTD) OTD planners are useful because of potential for efficiency and expressivity; used in most fielded applications C. Hogg, H. Muñoz-Avila, U. Kuter HTN-MAKER

  8. STRIPS Planning States are sets of logical Example Operator atoms describing the world :operator Operators describe ((!load-truck ?pkg actions, when they may be ?trk undertaken, and how they ?loc) affect the world :preconditions ((at ?pkg ?loc) The objective is to find a sequence of actions (a (at ?trk ?loc)) :add-effects plan ) that, when executed ((at ?pkg ?loc)) from a given initial state, :del-effects will result in a state that ((in ?pkg ?trk))) satisfies certain given goals C. Hogg, H. Muñoz-Avila, U. Kuter HTN-MAKER

  9. STRIPS Planning States are sets of logical Example Operator atoms describing the world :operator Operators describe ((!load-truck ?pkg actions, when they may be ?trk undertaken, and how they ?loc) affect the world :preconditions ((at ?pkg ?loc) The objective is to find a sequence of actions (a (at ?trk ?loc)) :add-effects plan ) that, when executed ((at ?pkg ?loc)) from a given initial state, :del-effects will result in a state that ((in ?pkg ?trk))) satisfies certain given goals C. Hogg, H. Muñoz-Avila, U. Kuter HTN-MAKER

  10. STRIPS Planning States are sets of logical Example Operator atoms describing the world :operator Operators describe ((!load-truck ?pkg actions, when they may be ?trk undertaken, and how they ?loc) affect the world :preconditions ((at ?pkg ?loc) The objective is to find a sequence of actions (a (at ?trk ?loc)) :add-effects plan ) that, when executed ((at ?pkg ?loc)) from a given initial state, :del-effects will result in a state that ((in ?pkg ?trk))) satisfies certain given goals C. Hogg, H. Muñoz-Avila, U. Kuter HTN-MAKER

  11. STRIPS Planning States are sets of logical Example Operator atoms describing the world :operator Operators describe ((!load-truck ?pkg actions, when they may be ?trk undertaken, and how they ?loc) affect the world :preconditions ((at ?pkg ?loc) The objective is to find a sequence of actions (a (at ?trk ?loc)) :add-effects plan ) that, when executed ((at ?pkg ?loc)) from a given initial state, :del-effects will result in a state that ((in ?pkg ?trk))) satisfies certain given goals C. Hogg, H. Muñoz-Avila, U. Kuter HTN-MAKER

  12. HTN Planning Tasks are symbolic Example Method representations of :method activities that should be ((deliver ?pkg accomplished ?loc) Methods describe how to :preconditions decompose complex tasks ((at ?pkg ?src) into sequences of simpler (at ?trk ?src) ones (same-city ?src ?loc)) The objective is to find a :subtasks hierarchy of ((!load-truck ?pkg decompositions from a ?trk given sequence of tasks ?src) down to a sequence of (deliver ?pkg actions that can be ?loc))) executed from the given initial state C. Hogg, H. Muñoz-Avila, U. Kuter HTN-MAKER

  13. HTN Planning Tasks are symbolic Example Method representations of :method activities that should be ((deliver ?pkg accomplished ?loc) Methods describe how to :preconditions decompose complex tasks ((at ?pkg ?src) into sequences of simpler (at ?trk ?src) ones (same-city ?src ?loc)) The objective is to find a :subtasks hierarchy of ((!load-truck ?pkg decompositions from a ?trk given sequence of tasks ?src) down to a sequence of (deliver ?pkg actions that can be ?loc))) executed from the given initial state C. Hogg, H. Muñoz-Avila, U. Kuter HTN-MAKER

  14. HTN Planning Tasks are symbolic Example Method representations of :method activities that should be ((deliver ?pkg accomplished ?loc) Methods describe how to :preconditions decompose complex tasks ((at ?pkg ?src) into sequences of simpler (at ?trk ?src) ones (same-city ?src ?loc)) The objective is to find a :subtasks hierarchy of ((!load-truck ?pkg decompositions from a ?trk given sequence of tasks ?src) down to a sequence of (deliver ?pkg actions that can be ?loc))) executed from the given initial state C. Hogg, H. Muñoz-Avila, U. Kuter HTN-MAKER

  15. HTN Planning Tasks are symbolic Example Method representations of :method activities that should be ((deliver ?pkg accomplished ?loc) Methods describe how to :preconditions decompose complex tasks ((at ?pkg ?src) into sequences of simpler (at ?trk ?src) ones (same-city ?src ?loc)) The objective is to find a :subtasks hierarchy of ((!load-truck ?pkg decompositions from a ?trk given sequence of tasks ?src) down to a sequence of (deliver ?pkg actions that can be ?loc))) executed from the given initial state C. Hogg, H. Muñoz-Avila, U. Kuter HTN-MAKER

  16. Learning HTN Methods from STRIPS Plans Annotated Tasks We define the notion of an annotated task as a task with effects (what it means to accomplish the task) and preconditions (when it is possible to accomplish the task) Example: (deliver ?pkg ?loc) has effect (at ?pkg ?loc) Given A STRIPS domain D , a collection of annotated tasks T , a planning problem P in D , and a solution plan S to P , Find Method definitions for the tasks in T whose subtasks are actions from S or tasks from T C. Hogg, H. Muñoz-Avila, U. Kuter HTN-MAKER

  17. Learning HTN Methods from STRIPS Plans Annotated Tasks We define the notion of an annotated task as a task with effects (what it means to accomplish the task) and preconditions (when it is possible to accomplish the task) Example: (deliver ?pkg ?loc) has effect (at ?pkg ?loc) Given A STRIPS domain D , a collection of annotated tasks T , a planning problem P in D , and a solution plan S to P , Find Method definitions for the tasks in T whose subtasks are actions from S or tasks from T C. Hogg, H. Muñoz-Avila, U. Kuter HTN-MAKER

  18. Learning HTN Methods from STRIPS Plans Annotated Tasks We define the notion of an annotated task as a task with effects (what it means to accomplish the task) and preconditions (when it is possible to accomplish the task) Example: (deliver ?pkg ?loc) has effect (at ?pkg ?loc) Given A STRIPS domain D , a collection of annotated tasks T , a planning problem P in D , and a solution plan S to P , Find Method definitions for the tasks in T whose subtasks are actions from S or tasks from T C. Hogg, H. Muñoz-Avila, U. Kuter HTN-MAKER

Recommend


More recommend