Path consistency in a network of non-convex intervals

Authors:
Robert A. Morris;William D. Shoaff;Lina Khatib
Affiliations:
Florida Institute of Technology, Computer Science Department, Melbourne, FL;Florida Institute of Technology, Computer Science Department, Melbourne, FL;Florida Institute of Technology, Computer Science Department, Melbourne, FL
Venue:
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Year:
1993

Citing 3
Cited 0

Localizing temporal constraint propagation: defaults and exceptions

Proceedings of the first international conference on Principles of knowledge representation and reasoning
An interval-based temporal calculus for events with gaps

Journal of Experimental & Theoretical Artificial Intelligence
Synthesizing constraint expressions

Communications of the ACM

Quantified Score

Hi-index	0.00

Visualization

Abstract

Reasoning about time often involves incomplete information about periods and their relationships. Varieties of incompleteness include uncertainty about the number of objects involved, the distribution of a set of temporal relations among these objects, and what can be called the participation of a set of objects in a temporal relation. A solution to the problem of representing and reasoning about incomplete temporal information of these kinds is forthcoming if a restricted class of non-convex intervals (called n-tntervals) is added to the temporal domain of discourse. An n-interval corresponds to the common sense notion of a recurring period of time with a (possibly) unspecified number of occurrences. In this paper, we formalize a representation for temporal reasoning problems using n-intervals. The language of the framework is restricted in such a way that tractable techniques from constraint satisfaction can be applied. Specifically, it is demonstrated how the problem of determining path-consistency in a network of binary n-interval relations can be solved.