XIE Qi; LIU Dayou; YU Qiangyuan; LV Ce
Temporal and spatial reasoning are two important parts of artificial intelligence, and have gained much attention from researchers in recent years. This paper uses multi-dimensional logics as frameworks for knowledge representation and, in particular, for representing spatio-temporal information. It constructs two-dimensional logics intended for describing metric relationships that change over time. The family logic, named PTL-MS, PTL-MS1, PTL-MS2 are the Cartesian product of the well-known temporal logic PTL and the propositional metric logic MS[M]. It provides the intended languages with syntactic and semantics, and investigates the expressive power of them. It can be used in spatio-temporal constraint satisfaction problem, spatio-temporal knowledge base and mobile object database (MOD).