Logic of Metric Space and Time
LV Ce · Jisuanji gongcheng · 2007
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).