Managing Disjunction for Practical Temporal Reasoning

Mark Boddy, Bob Schrag, and Jim Carciofini

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.


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.