Taxonomic plan reasoning

Abstract

Abstractclasp (CLAssification of scenarios and Plans) is a knowledge representation system that extends the notion of subsumption from terminological languages to plans. The clasp representation language provides description-forming operators that specify temporal and conditional relationships between actions represented in classic (a current subsumption-based knowledge representation language).clasp supports subsumption inferences between plan concepts and other plan concepts, as well as between plan concepts and plan instances. These inferences support the automatic creation of a plan taxonomy. Subsumption in clasp builds on term subsumption in classic and illustrates how term subsumption can be exploited to serve special needs. In particular, the clasp algorithms for plan subsumption integrate work in automata theory with work in term subsumption