Static and Completion Analysis for Planning Knowledge Base Development and Verification

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 meansof automation such as scripts or rule-based expert systems. Consequently,in order to field real systems, planning

• Type: Conference
• Year: 1996
• Where: AIPS
• Authors: Steve A. Chien
• Keywords: AI Planning Applications, AIPS 1996, Artificial Intelligence, Obstacle Hampering Fielding, Planning Knowledge Base