Knowledge Systems Laboratory, Stanford
University
21
Styles of Temporal Representations
uTimeless Quantification
„Functions and
relations have a time argument
E.g., (Married Joe Anne
1993)
>Situation calculus
„Objects have
time intervals associated with them
E.g., (contains (time-of
(Marriage Joe Anne)) 1993)
uSentences “hold true” at times
E.g., (holds (Married Joe Anne) 1993)
uTense logics
E.g., (F (Married Joe Anne))
(F (and (not (Married Joe Anne))
(P (Married
Joe Anne))))