This paper proceeds to develop models for representing time and reasoning about time from the perspective of non-standard analysis. It sets out a non-standard first-order theory and a non-standard qualitative approach for hyperreals. This first-order theory and this qualitative approach are based on the fact that any hyperreal is either infinitesimal, unlimited or appreciable. Within the first-order theory for hyperreal time presented in this paper, we establish a complete axiomatization and we prove that the associated membership problem is PSPACE-complete. Within the qualitative approach for hyperreal time presented in this paper, we establish qualitative constraint satisfaction problems and we prove that the associated consistency problem is in P.
Subjects: 3.6 Temporal Reasoning; 15.2 Constraint Satisfaction
Submitted: May 30, 2008