Constructing Simplified Plans via Truth Criteria Approximation

Steve Chien and Gerald F. DeJong

This paper has presented an approach to dealing with the complexity of explanation-based learning plans in complex domains. This approach uses a simplified algorithm to construct plans, and employs later refinements to repair bugs in constructed plans. This algorithm has the theoretical properties of completeness and convergence upon soundness. This incremental reasoning planning and learning algorithm has been implemented using a partial-order constraint posting planner and empirically compared to a conventional exhaustive reasoning partial-order constraint-posting planner and learning algorithm. This comparison showed that: 1) incremental reasoning significantly reduced learning costs compared to exhaustive reasoning; 2) Explanation-based Learning (EBL) reduced failures from incremental reasoning; and 3) EBL with incremental reasoning required less search to solve problems than EBL with exhaustive reaoning.

This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.