Abstract
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.
This work was performed by the Jet Propulsion Laboratory, California Institute of Technology, under contract with the National Aeronautics and Space Administration.
Preview
Unable to display preview. Download preview PDF.
References
Chien, S.: Using AI Planning Techniques to Automatically Generate Image Processing Procedures: A Preliminary Report. Proc. AIPS94, Chicago, IL, June 1994, pp. 219–224.
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.
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.
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.
Davis, R.: Interactive Transfer of Expertise: Acquisition of New Inference Rules. Artificial Intelligence 12 (2) 1979, pp. 121–157.
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.
Etzioni, O.: Acquiring Search Control Knowledge via Static Analysis. Artificial Intelligence, 62 (2) 255–302, 1993.
Gil, Y., Tallis, M.: Transaction-based Knowledge Acquisition: Complex Modifications Made Easier. Proc. of the Ninth Knowledge Acquisition for Knowledge-based Systems Workshop, 1995.
Ginsberg, A., Weiss, S., Politakis, P.: Automatic Knowledge Based Refinement for Classification Systems. Artificial Intelligence, 35 pp. 197–226, 1988.
Iwasaki, Y., Friedland, P.: The Concept and Implementation of Skeletal Plans. Automated Reasoning 1, 1 (1985), pp. 161–208.
Lansky, A.: Localized Planning with Diverse Plan Construction Methods. TR FIA-93-17, NASA Ames Research Center, June 1993.
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.
O'Keefe, R., O'Leary, D.: Expert System Verification and Validation: A Survey and Tutorial. AI Review, 7:3–42, 1993.
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.
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.
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.
Stefik, M.: Planning with Constraints (MOLGEN: Part 1). Artificial Intelligence 16, 2(1981), pp. 111–140.
Wang, X.: Learning by observation and practice: An incremental approach for planning operator acquisition. In Proc. 1995 Intl. Conf. on Machine Learning (ML95).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Chien, S.A. (1996). Intelligent tools for planning knowledge base development and verification. In: Shadbolt, N., O'Hara, K., Schreiber, G. (eds) Advances in Knowledge Acquisition. EKAW 1996. Lecture Notes in Computer Science, vol 1076. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61273-4_21
Download citation
DOI: https://doi.org/10.1007/3-540-61273-4_21
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61273-5
Online ISBN: 978-3-540-68391-9
eBook Packages: Springer Book Archive