Static and completion analysis for knowledge acquisition, validation and maintenance of planning knowledge bases

International Journal of Human Computer Studies

Volumn 48, Issue 4, 1998, Pages 499-519

  Chien, Steve A ^a  

^a CALIFORNIA INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SYSTEMS PROGRAMMING; IMAGE PROCESSING; INTERACTIVE COMPUTER SYSTEMS; KNOWLEDGE ACQUISITION; PROGRAM DEBUGGING; STRATEGIC PLANNING;

COMPLETION ANALYSIS TECHNIQUES;

KNOWLEDGE BASED SYSTEMS;

EID: 0032049407     PISSN: 10715819     EISSN: None     Source Type: Journal    
DOI: 10.1006/ijhc.1997.0171     Document Type: Article

References (22)

1. BENJAMINS, R., DE BARROS, L. & VALENTE, A. (1996). Constructing planners through problem-solving methods. Proceedings of the 10th Workshop on Knowledge Acquisition for Knowledge-based Systems. Banff, Canada.
2. CHAPMAN, D. (1987) Planning for conjunctive goals. Artificial Intelligence, 32.
3. CHIEN, S. (1994a). Using AI planning techniques to automatically generate image processing procedures: a preliminary report. Proceedings of the 2nd International Conference on AI Planning Systems, pp. 219-224. Chicago, IL, June.
4. CHIEN, S. (1994b) Automated synthesis of complex image processing procedures for a large-scale image database. Proceedings of the 1st IEEE International Conference on Image Processing, Vol. 3, pp. 796-800. Austin, TX, November.
5. CHIEN, S., ESTLIN, T. & WANG, X. (1996). Hierarchical task network and operator-based planning: competing or complementary. JPL Technical Document D-13390 Jet Propulsion Laboratory, California Institute of Technology, January.
6. CHIEN, S., GOVINDJEE, A., ESTLIN, T., WANG, X. & HILL, R. (1997). Automated generation of tracking plans for a network of communications antennas. Proceedings of the IEEE Aerospace Conference. Vol. 1, pp. 343-359. Aspen, CO, February.
7. CHIEN, S. & MORTENSEN, H. (1996). Automating image processing for scientific data analysis of a large image database. IEEE Transactions on Pattern Analysis and Machine Intelligence, 8, 854-859.
8. DAVIS, R. (1979). Interactive transfer of expertise: acquisition of new inference rules. Artificial Intelligence, 12, 121-157.
9. DESJARDINS, M. (1994). Knowledge development methods for planning systems. Working Notes of the AAAI Fall Symposium on Learning and Planning: On to Real Applications, pp. 34-40. New Orleans, LA, November.
10. ETZIONI, O. (1993). Acquiring search control knowledge via static analysis. Artificial Intelligence, 62, 255-302.
11. GIL, Y. & TALLIS, M. (1995). Transaction-based knowledge acquisition: complex modifications made easier. Proceedings of the 9th Knowledge Acquisition for Knowledge-based Systems Workshop.
12. GINSBERG, A., WEISS, S. & POLITAKIS, P. (1988). Automatic knowledge based refinement for classification systems. Artificial Intelligence, 35, 197-226.
13. IWASAKI, Y., FRIEDLAND, P. (1985). The concept and implementation of skeletal plans. Automated Reasoning, 1, 161-208.
14. KINGSTON, J., SHADBOLT, N. & TATE, A. (1996). Common KADS models for knowledge-based planning. Proceedings of the National Conference on Artificial Intelligence. Portland, OR.
15. LANSKY, A. (1993). Localized planning with diverse plan construction methods. TR FIA-93-17, NASA Ames Research Center, June.
16. LAVOIE, S., ALEXANDER, D., Avis, C., MORTENSEN, H., STANLEY, C. & WAINIO, L. (1989). VICAR User's Guide, Version 2, JPL Internal Doc. D-4186, Jet Propulsion Laboratory, California Inst. of Tech., Pasadena, CA.
17. MOONEY, R. & OURSTON, D. (1994). A multistrategy approach to theory refinement. In R. S. MICHALSKI & G. TECCUI, eds. Machine Learning: A Multistrategy Approach, Vol. IV, pp. 141-164. San Mateo, CA: Morgan Kaufman.
18. O'KEEFE, R. & O'LEARY, D. (1993). Expert system verification and validation: a survey and tutorial. Review, 7, 3-42.
19. PEMBERTHY, J. & WELD, D. (992). UCPOP: a sound complete, partial order planner for ADL. Proceedings of the 3rd International Conference on Knowledge Representation and Reasoning, pp. 103-114, October.
20. RYY, K. & IRANI, K. (1992). Learning from goal interactions in planning: goal stack analysis and generalization. Proceedings of the National Conference on Artificial Intelligence (AAAI92), pp. 401-407.
21. STEFIK, M. (1981). Planning with constraints (MOLGEN: Part 1). Artificial Intelligence, 16, 111-140.
22. WANG, X. (1995). Learning by observation and practice: an incremental approach for planning operator acquisition. Proceedings of the International Conference on Machine Learning (ML 95).