ML Anthology

Satisfying First-Order Constraints About Time Intervals

Peter B. Ladkin
AAAI 1988 pp. 512-517
/aaai/1988/ladkin1988aaai-satisfying/

Abstract

James Allen denned a calculus of time intervals in [All83], as a representation of temporal knowledge that could be used in AI. We shall call this the Interval Calculus. In his paper, Allen investigated specification and constraint satisfaction in the Interval Calculus. Other constraint-satisfaction algorithms for intervals have considered subclasses of Boolean formulas only. The methods herein extend consistency-checking and constraint-satisfaction procedures to finitely many arbitrary quantified formulas in the Interval Calculus. We use a first-order theory from [LadMad87.1, LadMad88.1], that precisely corresponds to Allen's calculus. We show that every first-order constraint expressible in this theory is equivalent to a Boolean constraint of a particular restricted form. We use this result to obtain a procedure for detecting consistency of arbitrary quantified formulas, and finding intervals that satisfy arbitrary consistent formulas of the Interval Calculus.

PDF AAAI Semantic Scholar

Cite

Text

Ladkin. "Satisfying First-Order Constraints About Time Intervals." AAAI Conference on Artificial Intelligence, 1988.

Markdown

[Ladkin. "Satisfying First-Order Constraints About Time Intervals." AAAI Conference on Artificial Intelligence, 1988.](https://mlanthology.org/aaai/1988/ladkin1988aaai-satisfying/)

BibTeX

@inproceedings{ladkin1988aaai-satisfying,
  title     = {{Satisfying First-Order Constraints About Time Intervals}},
  author    = {Ladkin, Peter B.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1988},
  pages     = {512-517},
  url       = {https://mlanthology.org/aaai/1988/ladkin1988aaai-satisfying/}
}