Intelligent tools for planning knowledge base development and verification

  • Steve A. Chien
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1076)


A key obstacle hampering fielding of AI planning applications is the considerable expense of developing, verifying, updating, and maintaining the planning knowledge base (KB). Planning systems must be able to compare favorably in terms of software lifecycle costs to other means of automation such as scripts or rule-based expert systems. Consequently, in order to field real systems, planning practitioners must be able to provide: 1. tools to allow domain experts to create and debug their own planning knowledge bases; 2. tools for software verification, validation, and testing; and 3. tools to facilitate updates and maintenance of the planning knowledge base. This paper describes two types of tools for planning knowledge base development: static KB analysis techniques to detect certain classes of syntactic errors in a planning knowledge base; and completion analysis techniques, to interactively debug the planning knowledge base. We describe these knowledge development tools and describe empirical results documenting the usefulness of these tools.


Domain Theory Static Analysis Technique Static Analysis Tool Decomposition Rule Relative Navigation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Chien, S.: Using AI Planning Techniques to Automatically Generate Image Processing Procedures: A Preliminary Report. Proc. AIPS94, Chicago, IL, June 1994, pp. 219–224.Google Scholar
  2. 2.
    Chien, S.: Automated Synthesis of Complex Image Processing Procedures for a Large-scale Image Database. Proc. First IEEE Int. Conf. on Image Processing, Austin, TX, Nov 1994, Vol 3, pp. 796–800.Google Scholar
  3. 3.
    Chien, S., Estlin, T., Wang, X., Govindjee, A., Hill, R.: Automated Generation of Antenna Operations Procedures: A Knowledge-based Approach. Submitted to Telecommunications and Data Acquisition.Google Scholar
  4. 4.
    Chien, S., Estlin, T., Wang, X.: Hierarchical Task Network and Operator-based Planning: Competing or Complementary. JPL Technical Document D-13390 Jet Propulsion Laboratory, California Institute of Technology, January 1996.Google Scholar
  5. 5.
    Davis, R.: Interactive Transfer of Expertise: Acquisition of New Inference Rules. Artificial Intelligence 12 (2) 1979, pp. 121–157.Google Scholar
  6. 6.
    DesJardins, M.: Knowledge Development Methods for Planning Systems. Working Notes of the AAAI Fall Symposium on Learning and Planning: On to Real Applications, New Orleans, LA, Nov 1994, pp. 34–40.Google Scholar
  7. 7.
    Etzioni, O.: Acquiring Search Control Knowledge via Static Analysis. Artificial Intelligence, 62 (2) 255–302, 1993.Google Scholar
  8. 8.
    Gil, Y., Tallis, M.: Transaction-based Knowledge Acquisition: Complex Modifications Made Easier. Proc. of the Ninth Knowledge Acquisition for Knowledge-based Systems Workshop, 1995.Google Scholar
  9. 9.
    Ginsberg, A., Weiss, S., Politakis, P.: Automatic Knowledge Based Refinement for Classification Systems. Artificial Intelligence, 35 pp. 197–226, 1988.Google Scholar
  10. 10.
    Iwasaki, Y., Friedland, P.: The Concept and Implementation of Skeletal Plans. Automated Reasoning 1, 1 (1985), pp. 161–208.Google Scholar
  11. 11.
    Lansky, A.: Localized Planning with Diverse Plan Construction Methods. TR FIA-93-17, NASA Ames Research Center, June 1993.Google Scholar
  12. 12.
    LaVoie, S., Alexander, D., Avis, C., Mortensen, H., Stanley, C., Wainio, L.: VICAR User's Guide, Version 2, JPL Internal Doc.D-4186, Jet Propulsion Laboratory, California Inst. of Tech., Pasadena, CA, 1989.Google Scholar
  13. 13.
    O'Keefe, R., O'Leary, D.: Expert System Verification and Validation: A Survey and Tutorial. AI Review, 7:3–42, 1993.Google Scholar
  14. 14.
    Mooney, R., Ourston, D.: A Multistrategy Approach to Theory Refinement, in Machine Learning: A Multistrategy Approach, Vol. IV, R.S. Michalski and G. Teccuci (eds.), pp.141–164, Morgan Kaufman, San Mateo,CA, 1994.Google Scholar
  15. 15.
    Pemberthy, J., Weld, D.: UCPOP: A Sound Complete, Partial Order Planner for ADL. Proc. of the Third Int. Conf. on Knowledge Representation and Reasoning, October 1992, pp. 103–114.Google Scholar
  16. 16.
    Ryu, K., Irani, K.: Learning from Goal Interactions in Planning: Goal Stack Analysis and Generalization. Proc 1992 National Conference on Artificial Intelligence (AAAI92), pp. 401–407.Google Scholar
  17. 17.
    Stefik, M.: Planning with Constraints (MOLGEN: Part 1). Artificial Intelligence 16, 2(1981), pp. 111–140.Google Scholar
  18. 18.
    Wang, X.: Learning by observation and practice: An incremental approach for planning operator acquisition. In Proc. 1995 Intl. Conf. on Machine Learning (ML95).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • Steve A. Chien
    • 1
  1. 1.Jet Propulsion LaboratoryCalifornia Institute of TechnologyPasadena

Personalised recommendations