Premium
Moments and points in an interval‐based temporal logic
Author(s) -
Allen James F.,
Hayes Patrick J.
Publication year - 1989
Publication title -
computational intelligence
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.353
H-Index - 52
eISSN - 1467-8640
pISSN - 0824-7935
DOI - 10.1111/j.1467-8640.1989.tb00329.x
Subject(s) - rotation formalisms in three dimensions , interval (graph theory) , computer science , representation (politics) , artificial intelligence , range (aeronautics) , interval temporal logic , point (geometry) , temporal logic , algorithm , theoretical computer science , natural language processing , mathematics , materials science , geometry , combinatorics , politics , political science , law , composite material
This paper develops and explores a first‐order theory of time that appears useful as an underlying framework for a wide range of practical applications in artificial intelligence (AI). In particular, it presents a concise, formal axiomatization of “interval‐based” time as described by Allen and then explores the relationship between interval‐based and point‐based temporal theories in detail. This analysis should be useful to both theoretical and practical work in AI that involves the representation of time, since it shows what distinctions are actually substantive and what arise merely from formalisms being notational variants of one another.