Reasoning in time and space

摘要: This paper describes a new approach to representing and reasoning with temporal spatial information. A wide variety of specifications can be converted into linear inequalities relating the midpoints events or boundary surfaces objects respectively, Linear programming is then used represent these constraints perform deductions. The information modularized semantically related clusters each its own tableau other by reference frame transformation. similar grouping done for making system computationally efficient. For reasoning, formally adequate except linguistic fuzziness. geometric polyhedra represented allowing paramvtiization. uniformity time space representation makes this particularly attractive.