Home

Taxonomic Plan Reasoning

Premkumar T. Devanbu; Diane J. Litman

Title:
Taxonomic Plan Reasoning
Author(s):
Devanbu, Premkumar T.
Litman, Diane J.
Date:
Type:
Technical reports
Department:
Computer Science
Permanent URL:
Series:
Columbia University Computer Science Technical Reports
Part Number:
CUCS-036-91
Publisher:
Department of Computer Science, Columbia University
Publisher Location:
New York
Abstract:
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). 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. We are using CLASP to store and retrieve information about feature specifications and test scripts in the context of a large software development project.
Subject(s):
Computer science
Item views:
33
Metadata:
text | xml

In Partnership with the Center for Digital Research and Scholarship at Columbia University Libraries/Information Services | Terms of Use