Formalizing a Spectrum of Plan Generalizations Based on Modal Truth Criteria (1994)
| Venue: | in Canadian Conference on Artificial Intelligence |
| Citations: | 1 - 0 self |
BibTeX
@INPROCEEDINGS{Kambhampati94formalizinga,
author = {Subbarao Kambhampati},
title = {Formalizing a Spectrum of Plan Generalizations Based on Modal Truth Criteria},
booktitle = {in Canadian Conference on Artificial Intelligence},
year = {1994}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
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 type of constraints on the plan that are being relaxed (ordering, binding, initial state specification), the strength and type of truth criteria used for explaining correctness and the number of explanations used as a basis for generalization. Apart from the straightforward precondition and order generalizations, the spectrum also includes such novel ones as possible correctness generalizations and disjunctive generalizations. In each case, we characterize the cost of producing the generalization, and the storage and usage advantages provided by it during plan reuse. Although there has been previous work on plan generalizations, this is the first time that a complete spectrum of generalizations are characterized within a single unified framework, facilitating a comparative analysis of their costs and benefits.
Keyphrases
plan generalization modal truth criterion truth criterion straightforward precondition novel one previous work usage advantage large spectrum planning performance order generalization plan correctness complete spectrum single unified framework first time considerable importance unified framework comparative analysis possible correctness generalization disjunctive generalization initial state specification
