Home : Project Archive : Automated Synthesis of Planners and Schedulers : Quad Chart '97
 

Automated Synthesis of Planners & Schedulers
Kestrel Institute / Arizona State University

OBJECTIVES

• Automated synthesis of P&S tools
• Composition and refinement of domain theories
• Classification approach to design
• ìcompilationî of constraints into propagation code

BENEFITS

• 1000x faster schedulers (to support large-scale problems and scenario exploration)
• 10x richer constraint modeling (to generate "flyable"schedules)
• task-specific schedulers constructable by domain experts (vs computer scientists)

ACCOMPLISHMENTS

• Planware-- scheduling-specific extension to Specware system
• Automated composition and refinement of simple transportation domain theories
• Ladder construction support for algorithm design
• Domain-specific interface to nonexpert user
• Synthesis of problem-specific planners

Schedule of Work

• Algorithm synthesis and domain theory composition in Planware 4Q/97
• Schedule 30k TPFDD in 60 sec 4Q/97
• Synthesize multiresource Schedulers 4Q/98

Back to summary - View graphic version

- Back to Top -

- Home - About Kestrel - Research Staff - Current Projects - Project Archive -
- Publications - Technology Transfer - Career Opportunities - Contact Kestrel -