Static and Completion Analysis for Planning Knowledge Base Development and Verification

Proceedings of the 3rd Artificial Intelligence Planning Systems Conference, AIPS 1996

Volumn , Issue , 1996, Pages 53-61

  Chien, Steve A ^a  

^a CALIFORNIA INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EXPERT SYSTEMS; PROGRAM DEBUGGING; VERIFICATION;

AI PLANNING; ANALYSIS TECHNIQUES; DOMAIN EXPERTS; LIFECYCLE COSTS; PLANNING APPLICATIONS; PLANNING SYSTEMS; REAL SYSTEMS; RULE-BASED EXPERT SYSTEM; SOFTWARE LIFE CYCLES; SYSTEM PLANNING;

SOFTWARE TESTING;

EID: 33746983391     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (16)

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