Using recursive Allen temporal algebra and temporal dependent interval calculus in smart scheduling
Ernest L. McDuffie · 1996
The objective of this research was to lay a solid mathematical foundation and to demonstrate the utility of the Smart Scheduling concept. The results are presented in the form of complete definitions for two newly developed conceptual tools. These two concepts, Recursive Allen Temporal Algebra (RATA) and Temporal Dependent Interval Calculus (TDIC), have their roots planted firmly in the field of Artificial Intelligence (AI). A number of sub-domains in that field such as, Expert Systems, Temporal Reasoning, Automatic Scheduling, and Fuzzy Logic, are of primary interest for the development and implementation of these concepts. In addition to the definitions a functional implementation, the Smart Scheduler Program (SSP), is used to demonstrate the utility of the tools in a flexible manufacturing environment. The concept of Smart Scheduling combines the mathematical description of RATA and TDIC with a number of technical improvement to the original SSP implementation to produce a unique and powerful new tool for real world scheduling problems.