TMK models to HTNs : translating process models into hierarchical task networks

This thesis details the translation of Task-Method-Knowledge Language (TMKL) Models to Hierarchical-Task-Network (HTN) representations. It will be shown that TMKL models are as expressive as HTNs, but have a more convenient syntax, and an equivalence theorem between the two is provided. From the results of the theorem it is clear that a translation from an arbitrary TMKL model to an equivalent HTN always exists, and the particulars of a working translator constructed for this thesis by the author are explained. A synopsis of this translation schema has been accepted for publication at the upcoming Artificial Intelligence and Interactive Digital Entertainment conference.

[1]  Dana S. Nau,et al.  New Advances in GraphHTN: Identifying Independent Subproblems in Large HTN Domains , 2000, AIPS.

[2]  Ashok K. Goel,et al.  Explanatory Interface in Interactive Design Environments , 1996 .

[3]  Eleni Stroulia,et al.  Functional Modeling meets meta-CASE tools For Software Evolution , 2007 .

[4]  David W. Aha,et al.  Integrating Learning in Interactive Gaming Simulators , 2004 .

[5]  Manuela M. Veloso,et al.  Planning and Learning by Analogical Reasoning , 1994, Lecture Notes in Computer Science.

[6]  Eleni Stroulia,et al.  Failure-driven learning as model-based self-redesign , 1994 .

[7]  Thomas G. Dietterich.  Machine-Learning Research Four Current Directions , 1997 .

[8]  James A. Hendler,et al.  Complexity results for HTN planning , 1994, Annals of Mathematics and Artificial Intelligence.

[9]  David W. Aha,et al.  Ordered Task Decomposition , 2000 .

[10]  Dana S. Nau,et al.  Semantics for hierarchical task-network planning , 1994 .

[11]  Ashok K. Goel,et al.  Meta-Cases: Explaining Case-Based Reasoning , 1996, EWCBR.

[12]  Eleni Stroulia,et al.  Functional representation and reasoning for reflective systems , 1995, Appl. Artif. Intell..

[13]  Daniel S. Weld.  An Introduction to Least Commitment Planning , 1994, AI Mag..

[14]  Ashok K. Goel,et al.  Self-improvement through self-understanding: model-based reflection for agent adaptation , 2001 .

[15]  Richard Fikes,et al.  STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.

[16]  Eleni Stroulia,et al.  Redesigning a Problem-Solver's Operations to Improve Solution Quality , 1997, IJCAI.

[17]  Ashok K. Goel,et al.  A Functional Modeling Architecture for Reflective Agents , 1998 .

[18]  Peter G. Underwood.  Issues and applications of case‐based reasoning in design , 1998 .

[19]  James A. Hendler,et al.  HTN Planning: Complexity and Expressivity , 1994, AAAI.

[20]  Ashok K. Goel,et al.  Integration of case-based reasoning and model-based reasoning for adaptive design problem-solving , 1989 .