Automatic Synthesis of Planners and Schedulers..

Abstract

This report describes our research on the transformational development of transportation plans and schedules. Our approach to developing scheduling software involves several stages. The first step is to develop a formal model of the transportation scheduling domain, called a domain theory. Second, the constraints, objectives, and preferences of a particular scheduling problem are stated within a domain theory as a problem specification. Finally, an executable scheduler is produced semi-automatically by applying a sequence of transformations to the problem specification. The transformations embody programming knowledge about algorithms, data structures, program optimization techniques, etc. The result of the transformation process is executable code that is consistent with the given problem specification. Furthermore, the resulting code can be extremely efficient.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 01, 1999
Accession Number
ADA366794

Entities

People

  • Douglas R. Smith
  • Junbo Liu
  • Stephen J. Westfold

Organizations

  • Kestrel Institute

Tags

Communities of Interest

  • Energy and Power Technologies
  • Materials and Manufacturing Processes
  • Space

DTIC Thesaurus Topics

  • Air Force
  • Air Force Research Laboratories
  • Algorithms
  • Artificial Intelligence
  • Automatic
  • Classification
  • Computer Programming
  • Construction
  • Engineering
  • Lisp Programming Language
  • Optimization
  • Scheduling (Production)
  • Sequences
  • Software Design
  • Software Development
  • Specifications
  • Transportation

Fields of Study

  • Computer science
  • Engineering

Readers

  • Artificial Intelligence
  • Computational Linguistics
  • Operations Research