Sixth International Workshop on Temporal Representation and Reasoning
Optimization in Constraint Reasoning about Repeating Events
Orlando, Florida
May 01-May 02
ISBN: 0-7695-0173-7
The effective manipulation of temporal information about periodic events is required for solving complex problems such as long range scheduling or querying temporal information. Further more, many problems involving repeating events require the optimization of temporal aspects of these events, e.g., minimizing makespan in job-shop scheduling. This paper contains a framework for representing and solving reasoning problems in which temporal aspects of repeating events are to be optimized. This framework rests upon three foundations: recent work on the characterization of repeating events, the temporal CSP framework for processing constraints, and the semiring generalization of CSPs. The semiring allows values to be associated with consistent solutions generated from the specification; the values are computed from functions that provide interpretations of the optimizing constraints.
Index Terms:
temporal reasoning, constraint satisfaction, knowledge representation
Citation:
Robert A. Morris, Lina Khatib, "Optimization in Constraint Reasoning about Repeating Events," time, pp.82, Sixth International Workshop on Temporal Representation and Reasoning, 1999