Skip to Main content Skip to Navigation
Conference papers

Reasoning about generalized intervals : Horn representability and tractability

Abstract : This paper organizes the topologic forms of the possible relations between generalized intervals. Working out generalized interval algebra on the pattern of point algebra and interval algebra, it introduces the concept of Horn representability just as the one of convexity. It gives the class of Horn representable relations a simple characterization based on the concept of strong preconvexity. Adapting the propagation techniques designed to solve the networks of constraints between points or between intervals, it shows that the issue of consistency of a Horn representable generalized interval network can be solved in polynomial time by means of the weak path-consistency algorithm, a new incomplete algorithm for computing a minimal set of temporal constraints.
Document type :
Conference papers
Complete list of metadata

https://hal-univ-artois.archives-ouvertes.fr/hal-03300321
Contributor : Fabien Delorme Connect in order to contact the contributor
Submitted on : Tuesday, July 27, 2021 - 9:39:26 AM
Last modification on : Thursday, September 9, 2021 - 3:10:01 PM

Links full text

Identifiers

Citation

Philippe Balbiani, Jean-François Condotta, Gérard Ligozat. Reasoning about generalized intervals : Horn representability and tractability. 7th international workshop on Temporal Representation and Reasoning (TIME 2000), 2000, Unknown, Canada. pp.23-30, ⟨10.1109/TIME.2000.856580⟩. ⟨hal-03300321⟩

Share

Metrics

Record views

22