Accession Number : ADA311003

Title :   OZONE Temporal Constraint Propagator.

Descriptive Note : Technical rept.,

Corporate Author : CARNEGIE-MELLON UNIV PITTSBURGH PA ROBOTICS INST

Personal Author(s) : Lassila, Ora

PDF Url : ADA311003

Report Date : MAR 1996

Pagination or Media Count : 44

Abstract : This report describes the temporal constraint propagator of the OZONE framework for planning and scheduling applications. The role of the propagator is to maintain temporal consistency in networks of activities, enforcing temporal constraints and limiting the search needed when generating a schedule. Unlike some other time bound propagators based on various shortest path algorithms, this one is based on the well-known AC-3 are consistency algorithm by A.K. Mackworth. In addition to documenting the constraint propagation architecture of OZONE and the functional requirements of the propagator, as well as describing the actual propagation algorithm, this report serves as a programmers reference to the functional interface to the propagator. It also gives has notes about the internal design of the system and documents the most important internal functions.

Descriptors :   *COMPUTER PROGRAM DOCUMENTATION, *OBJECT ORIENTED PROGRAMMING, ALGORITHMS, ROBOTICS, SYSTEMS ENGINEERING, QUEUEING THEORY, COMPUTER COMMUNICATIONS, TIME DEPENDENCE, COMPUTER ARCHITECTURE, SCHEDULING, PLANNING, SELF OPERATION, SYSTEMS ANALYSIS, COMPUTER NETWORKS, SUBROUTINES, FIELDS(COMPUTER PROGRAMS), STRUCTURED PROGRAMMING.

Subject Categories : Computer Programming and Software
      Cybernetics

Distribution Statement : APPROVED FOR PUBLIC RELEASE