NASA NTRS · 20060036822
Static and Completion Analysis for Planning Knowledge Base Development and Verification
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.
Explore related subjects
Keep this discovery
Explore connections, maps & timelines
Chien, Steve A.. 1996-05-29. Static and Completion Analysis for Planning Knowledge Base Development and Verification. https://ntrs.nasa.gov/citations/20060036822
Cite the original work for its findings. Save a collection to share your selection of sources.