TF Method: An Initial Framework Modelling and Analysing Planning Domains

Early work on the NONLIN and O-Plan projects indicated a need for a defined methodology which would guide users performing various roles in the acquisition and analysis of domain requirements for planning. This work included links to a requirement analysis methodology, CORE (COntrolled Requirements Expression), tool support via an intelligent assistant as part of the Task Formalism (TF) Workstation and initial collection of guidelines and checklists to aid in using the TF domain description language. This paper describes work underway to follow-on from this past research and to infuse it with knowledge gained from recent research related to planning domain development, knowledge modelling, design rationale and ontological and requirements engineering.

[1]  James A. Hendler,et al.  Readings in Planning , 1994 .

[2]  Subbarao Kambhampati,et al.  Planning as Refinement Search: A Unified Framework for Evaluating Design Tradeoffs in Partial-Order Planning , 1995, Artif. Intell..

[3]  Austin Tate,et al.  Rationale in planning: causality, dependencies, and decisions , 1998, The Knowledge Engineering Review.

[4]  Austin Tate,et al.  Representing Plans as a Set of Constraints - the Model , 1996, AIPS.

[5]  T. L. McCluskey,et al.  Engineering and Compiling Planning Domain Models to Promote Validity and Efficiency , 1997, Artif. Intell..

[6]  Thomas P. Moran,et al.  Design Space Analysis: Bridging from Theory to Practice via Design Rationale , 1991 .

[7]  J. M. Akkermans,et al.  The KADS Knowledge Modelling Approach , 1992 .

[8]  Andrew Dillon,et al.  Design rationale: Concepts, techniques, and use , 1997 .

[9]  Austin Tate,et al.  Generating Project Networks , 1977, IJCAI.

[10]  Jose Manuel Corera,et al.  Building and Reusing Ontologies for Electrical Network Applications , 1996, ECAI.

[11]  Simon Buckingham Shum,et al.  Cognitive Dimensions of Design Rationale , 1997 .

[12]  G. P. Mullery,et al.  CORE - a method for controlled requirement specification , 1979, ICSE 1979.

[13]  John Kingston,et al.  CommonKADS Models for Knowledge-Based Planning , 1996, AAAI/IAAI, Vol. 1.

[14]  Nigel Shadbolt,et al.  Knowledge Level Planning in the Search and Rescue Domain , 1995 .

[15]  Timothy W. Finin,et al.  Enabling Technology for Knowledge Sharing , 1991, AI Mag..

[16]  Steve A. Chien.  Static and Completion Analysis for Planning Knowledge Base Development and Verification , 1996, AIPS.

[17]  Asunción Gómez-Pérez,et al.  METHONTOLOGY: From Ontological Art Towards Ontological Engineering , 1997, AAAI 1997.

[18]  Steve M. Easterbrook,et al.  Using ViewPoints for inconsistency management , 1996, Softw. Eng. J..

[19]  S. Sitharama Iyengar,et al.  An Event Drive Integration Reasoning Scheme for Handling Dynamic Threats in an Unstructured Environment , 1997, Artif. Intell..

[20]  Kutluhan Erol,et al.  Hierarchical task network planning: formalization, analysis, and implementation , 1996 .

[21]  William R. Swartout,et al.  EXPECT: A User-Centered Environment for the Development and Adaptation of Knowledge-Based Planning Aids , 1996 .

[22]  David E. Wilkins,et al.  Practical planning - extending the classical AI planning paradigm , 1989, Morgan Kaufmann series in representation and reasoning.

[23]  Austin Tate,et al.  The Use of Condition Types to Restrict Search in an AI Planner , 1994, AAAI.

[24]  G. Winstanley,et al.  Objects and Objectives : the merging of Object and Planning Technologies , 1996 .

[25]  Dov M. Gabbay,et al.  Inconsistency Handling in Multperspective Specifications , 1994, IEEE Trans. Software Eng..

[26]  Axel van Lamsweerde,et al.  Integrating obstacles in goal-driven requirements engineering , 1998, Proceedings of the 20th International Conference on Software Engineering.

[27]  André Valente,et al.  Knowledge-level analysis of planning systems , 1995, SGAR.

[28]  Austin Tate.  Towards a Plan Ontology , 1996 .

[29]  Christer Bäckström,et al.  Current Trends in AI Planning , 1994 .

[30]  Amol Dattatraya Mali.  Hierarchical Task Network Planning as Satisfiability , 1999, ECP.

[31]  MSc Mbcs CEng Michael Bronzite BSc.  System Development , 2000, Springer London.

[32]  Michael Batty.  Information for Planning and Decision Making , 1991 .

[33]  V. Richard Benjamins,et al.  Modeling Planning Tasks , 1996, AIPS.

[34]  Austin Tate,et al.  O-Plan: The open Planning Architecture , 1991, Artif. Intell..

[35]  Dawn E. Wilkins,et al.  The Act-Editor User''s Guide: A Manual for Version2 , 1997 .

[36]  Pete Sawyer,et al.  Requirements Engineering: A Good Practice Guide , 1997 .

[37]  Ian Sommerville,et al.  Requirements engineering with viewpoints , 1996, Softw. Eng. J..

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

[39]  Michael Uschold,et al.  Ontologies: principles, methods and applications , 1996, The Knowledge Engineering Review.

[40]  Xuemei Wang.  Planning While Learning Operators , 1996, AIPS.

[41]  Michael L. Begeman,et al.  gIBIS: a hypertext tool for exploratory policy discussion , 1988, CSCW '88.

[42]  Patrick Henry Winston,et al.  Artificial intelligence at MIT: expanding frontiers , 1991 .

[43]  Asunción Gómez-Pérez,et al.  Towards a Method to Conceptualize Domain Ontologies , 1996 .

[44]  Austin Tate,et al.  Advanced Planning Technology: Technological Achievements of the ARPA/Rome Laboratory Planning Inititive , 1996 .

[45]  W. van de Velde,et al.  CommonKADS Library for Expertise Modelling: reusable problem solving components , 1994 .