Allen's interval algebra
en.wikipedia.org · 937 words · saved by 1 readers
Allen's interval algebra is a calculus for temporal reasoning that was introduced by James F. Allen in 1983.
From Wikipedia, the free encyclopedia Allen's interval algebra is a calculus for temporal reasoning that was introduced by James F. Allen in 1983. The calculus defines possible relations between time intervals and provides a composition table that can be used as a basis for reasoning about temporal descriptions of events. The following 13 base relations capture the possible relations between two intervals. Relation Illustration Interpretation X precedes Y Y is preceded by X X meets Y Y is met by X (i stands for inverse) X overlaps with Y Y is overlapped by X X starts Y Y is…
saved by
related reading
- Lambda calculus - Wikipediaen.wikipedia.org
- Arithmetical hierarchy - Wikipediaen.wikipedia.org
- Temporal Logic (Stanford Encyclopedia of Philosophy)plato.stanford.edu
- Time, Clocks, and the Ordering of Events in a Distributed Systemlamport.azurewebsites.net
- Time-scale calculus - Wikipediaen.wikipedia.org
- Altman_-Kleiman---A-term-of-commutative-algebra-_2017_.pdfmi.fu-berlin.de
- Type theory - Wikipediaen.wikipedia.org
- 4. Sets and Functions - Mathematics in Lean v4.19.0 documentationleanprover-community.github.io
- LN 039: Notes on timealexanderobenauer.com
- Temporal logic - Wikipediaen.wikipedia.org
- Curry–Howard correspondenceen.wikipedia.org
- Algorithm - Wikipediaen.wikipedia.org