Abstract:
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.