Taxonomic plan reasoning

摘要

clasp (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).