Managing Disjunction for Practical Temporal Reasoning

Practical Approaches to Scheduling and Planning

Volume

Practical Approaches to Scheduling and Planning

Contents

In this paper, we describe the application of three techniques for managing disjunction in an implementation of Dean’s Time Map Manager. Briefly, the disjunction is either: removed by limiting the expressive power of the system, explicitly represented, one disjunct at a time, or approximated by a weaker form of representation that subsumes the disjunction. We use a combination of these methods to implement an expressive and efficient temporal reasoning engine that performs sound inference in accordance with a well-defined formal semantics.