Loading...
Please wait, while we are loading the content...
Similar Documents
A Structured Approach for Synthesizing Planners from Specifications (1997)
| Content Provider | CiteSeerX |
|---|---|
| Author | Srivastava, Biplav Mali, Amol D. Kambhampati, Subbarao |
| Description | PROC. OF 12TH IEEE INTL. CONF. ON AUTOMATED SOFTWARE ENGG., LAKE TAHOE, NV |
| Abstract | Plan synthesis approaches in AI fall into two categories: domain-independent and domain-dependent. The domainindependent approaches are applicable across a variety of domains, but may not be very efficient in any one given domain. The domain-dependent approaches can be very efficient for the domain for which they are designed, but would need to be written separately for each domain of interest. The tediousness and the error-proneness of manual coding have hither-to inhibited work on domain-dependent planners. In this paper, we describe a novel way of automating the development of domain dependent planners using knowledge-based software synthesis tools. Specifically, we describe an architecture called CLAY in which the Kestrel Interactive Development System (KIDS) is used in conjunction with a declarative theory of domain independent planning, and the declarative control knowledge specific to a given domain, to semi-automatically derive customized planning code. We discuss what it means... |
| File Format | |
| Publisher Date | 1997-01-01 |
| Access Restriction | Open |
| Subject Keyword | Planning Code Structured Approach Declarative Theory Domain-dependent Approach Manual Coding Domainindependent Approach Domain Dependent Planner Domain-dependent Planner Ai Fall Domain Independent Planning Declarative Control Knowledge Specific Knowledge-based Software Synthesis Tool Kestrel Interactive Development System Plan Synthesis Approach Novel Way |
| Content Type | Text |
