TIMEX-a tool for interval-based representation in technical applications

Abstract

TIMEX, a tool that extends Prolog with features for interval-based representation, is described. Because several ideas for interval-based representation exist, the tool provides the possibility of switching between different representation and propagation techniques. This is done by representing different interval graphs. Thus, one application may consist of several graphs with different attributes for propagation and one interval may exist in different graphs. The application domain is technical expert systems. An interval-based representation was used for a scheduling expert system in a steelmaking plant.<>