A Temporal Structure that Distinguishes between the Past, Present, and Future

We present a two dimensional temporal structure that has an ever changing present. Relative to each present, there is a past and future. The main representational advantage our two dimensional structure has over traditional linear temporal structures is the ability to record when knowledge is added or updated. We de ne a rst order logicthathas this structure as its temporal ontology.

• Type: Conference
• Year: 1994
• Where: TIME
• Authors: André Trudel
• Keywords: Automated Reasoning, Dimensional Structure, Dimensional Temporal Structure, Linear Temporal Structures, TIME 1994