Complexity and algorithms for reasoning about time: a graph-theoretic approach

@article{Golumbic1993ComplexityAA,
  title={Complexity and algorithms for reasoning about time: a graph-theoretic approach},
  author={M. Golumbic and R. Shamir},
  journal={J. ACM},
  year={1993},
  volume={40},
  pages={1108-1133}
}
Temporal events are regarded here as intervals on a time line. This paper deals with problems in reasoning about such intervals when the precise topological relationship between them is unknown or only partially specified. This work unifies notions of interval algebras in artificial intelligence with those of interval orders and interval graphs in combinatorics. The satisfiability, minimal labeling, all solutions, and all realizations problems are considered for temporal (internal) data… Expand
Algorithms and Complexity for Reasoning about Time
TLDR
This work unifies notions of interval algebras for temporal reasoning in artificial intelligence with those of interval orders and interval graphs in combinatorics, obtaining new algorithmic and complexity results of interest to both disciplines. Expand
Artin Charles Gchmbic
Interval consistency problems deal with events, each of which is assumed to be an interval on the real line or on any other linearly ordered set. This paper deals with problems in reasoning aboutExpand
Point algebras for temporal reasoning: Algorithms and complexity
TLDR
A new time model suitable for reasoning about systems with a bounded number of unsynchronized clocks is presented, connections with spatial reasoning are investigated, and improved algorithms for deciding satisfiability of the tractable point algebras are presented. Expand
Trends in Temporal Reasoning: Constraints, Graphs and Posets
TLDR
This work reviews temporal reasoning concepts including a method for deciding tractability of temporal constraint satisfaction problems based on the theory of algebraic closure operators for constraints and proposes novel research for scheduling algorithmsbased on the Fishburn-Shepp inequality for posets. Expand
Computational Complexity of Relating Time Points with Intervals
TLDR
Vilain's point–interval algebra is identified as a subalgebra in Meiri's approach to temporal reasoning, which combines reasoning about metric and qualitative temporal constraints over both time points and time intervals. Expand
Satisfiability Problems on Intervals and Unit Intervals
TLDR
A linear time algorithm is given to determine if there exists a realization which respects the order constraints of an interval graph with some additional order constraints between pairs of non-intersecting intervals. Expand
Interval Graphs, Interval Orders and the Consistency of Temporal Events
TLDR
This work unifies notions of interval algebras in artificial intelligence with those of interval orders and interval graphs in combinatorics. Expand
Modelling and solving temporal reasoning as propositional satisfiability
TLDR
This paper investigates how an interval-based representation, or IA network, can be encoded into a propositional formula of Boolean variables and/or predicates in decidable theories and shows how IA networks can be formulated into satisfiability modulo theories formulae based on the quantifier-free integer difference logic (QF-IDL). Expand
Coloring Algorithms for Tolerance Graphs: Reasoning and Scheduling with Interval Constraints
TLDR
This paper investigates algorithmic problems on tolerance graphs, a family which generalizes interval graphs, and which therefore have broader application, and presents a coloring algorithm for a tolerance graph on n vertices whose running time is O(n2), given the tolerance representation. Expand
A Representation for Efficient Temporal Reasoning
TLDR
It is shown that there is an O(n) time pre-processing algorithm that allows us to answer queries about the events in O(1) time and it is argued that these results may be incorporated in general graphs representing temporal events by extending the approach of Gerevini and Schubert. Expand
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 82 REFERENCES
Reasoning About Qualitative Temporal Information
  • P. V. Beek
  • Computer Science, Mathematics
  • Artif. Intell.
  • 1992
TLDR
This paper defines computationally efficient procedures for solving two related reasoning tasks that arise in interval and point algebras: Given (possibly indefinite) knowledge of the relationships between some intervals or points, find one or more scenarios that are consistent with the information provided, and find all the feasible relations between every pair of interval or points. Expand
A combinatorial approach to temporal reasoning
  • A. Belfer, M. Golumbic
  • Computer Science
  • Proceedings of the 5th Jerusalem Conference on Information Technology, 1990. 'Next Decade in Information Technology'
  • 1990
It is described how representation structures for counting the number of endpoint sequences associated with a given interval order or interval graph can be used in temporal reasoning. EfficientExpand
Approximation Algorithms for Temporal Reasoning
TLDR
New approximation algorithms for temporal relations between intervals introduced by James Allen are examined, their effectiveness is examined, and under what conditions the algorithms are exact are determined. Expand
Constraint Propagation Algorithms for Temporal Reasoning
TLDR
Computing the consequences of temporal assertions is shown to be computationally intractable in the interval-based representation, but not in the point-based one, but a fragment of the interval language can be expressed using the point language and benefits from the tractability of the latter. Expand
Interval graphs and related topics
  • M. Golumbic
  • Computer Science, Mathematics
  • Discret. Math.
  • 1985
TLDR
A more general paradigm for studying various classes of graphs is suggested which can be described as follows: when 9 is allowed to be an arbitrary family of sets, the class obtained as intersection graphs is all undirected graphs. Expand
Counting endpoint sequences for interval orders and interval graphs
TLDR
Efficient algorithms for counting the number of endpoint sequences representing a given interval graph or interval order are designed and analyzed based on the construction of a suitable tree data structure to represent multiple solutions. Expand
An Incremental Linear-Time Algorithm for Recognizing Interval Graphs
TLDR
This paper presents a much simpler algorithm using a related, but much more informative tree representation of interval graphs. Expand
The complexity of satisfiability problems
TLDR
An infinite class of satisfiability problems is considered which contains these two particular problems as special cases, and it is shown that every member of this class is either polynomial-time decidable or NP-complete. Expand
Interval graphs and interval orders
  • P. Fishburn
  • Computer Science, Mathematics
  • Discret. Math.
  • 1985
TLDR
Two invariants of the family of interval orders that agree with an interval graph are established, namely magnitude, which affects end-point placements, and the property of having the lengths of all representing intervals between specified bounds. Expand
Temporal query processing with indefinite information
  • P. V. Beek
  • Computer Science
  • Artif. Intell. Medicine
  • 1991
TLDR
This paper adopts Allen's influential interval algebra framework for representing temporal information and shows that when the representation language is sufficiently restricted it can develop efficient algorithms for answering interesting classes of queries. Expand
...
1
2
3
4
5
...