AtTimeLink

From OpenCog
Jump to: navigation, search

AtTimeLink is used to attach timestamps or time intervals to atoms.

Format

AtTimeLink
   T
   A

where T is a TimeNode or a TimeIntervalLink and A could be any atom type.

Additionally a time domain may be used. The format is as follows

AtTimeLink
   T
   A
   D

where D is a TimeDomainNode.

Semantics

AtTimeLink
   T
   A

could be seen as equivalent to

EvaluationLink
   PredicateNode "AtTime"
   ListLink
      A
      T

where the PredicateNode "AtTime" is specially used to represent timestamps.

In case T is a TimeIntervalLink, then

AtTimeLink
   TimeIntervalLink
      TimeNode t1
      TimeNode t2
   A

is equivalent to

OrLink
  AtTimeLink
     TimeNode t1
     A
  ...
  AtTimeLink
     TimeNode t2 - 1
     A

For more details, see Temporal Reasoning.

Related