Formalizing a Spectrum of Plan Generalizations Based on Modal Truth Criteria

Plan generalizations are of considerable importance in improving planning performance through reuse. In this paper, we provide a unified framework for analytic (non-inductive) plan generalization based on explanation of plan correctness with respect to modal truth criteria. Within this framework, we explore a large spectrum of generalizations based on the… (More)