Incremental qualitative temporal reasoning: Algorithms for the Point Algebra and the ORD-Horn class

15Citations
Citations of this article
11Readers
Mendeley users who have this article in their library.

Abstract

In many applications of temporal reasoning we are interested in processing temporal information incrementally. In particular, given a set of temporal constraints (a temporal CSP) and a new constraint, we want to maintain certain properties of the extended temporal CSP (e.g., a solution), rather than recomputing them from scratch. The Point Algebra (PA) and the Interval Algebra (IA) are two well-known frameworks for qualitative temporal reasoning. The reasoning algorithms for PA and the tractable fragments of IA, such as Nebel and Bürckert's maximal tractable class of relations (ORD-Horn), have originally been designed for "static" reasoning. In this paper, we study the incremental version of the fundamental reasoning problems in the context of these tractable classes. We propose a collection of new polynomial algorithms that can amortize their complexity when processing a sequence of input constraints to incrementally decide satisfiability, to maintain a solution, or to update the minimal representation of the CSP. Our incremental algorithms improve the total time complexity of using existing static techniques by a factor of O(n) or O(n2), where n is the number of the variables involved by the temporal CSP. An experimental analysis focused on constraints over PA confirms the computational advantage of our incremental approach. © 2005 Elsevier B.V. All rights reserved.

Cite

CITATION STYLE

APA

Gerevini, A. (2005). Incremental qualitative temporal reasoning: Algorithms for the Point Algebra and the ORD-Horn class. Artificial Intelligence, 166(1–2), 37–80. https://doi.org/10.1016/j.artint.2005.04.005

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free