An abstract theory and ontology of motion based on the regions connection calculus

  • Authors:
  • Zina M. Ibrahim;Ahmed Y. Tawfik

  • Affiliations:
  • University of Windsor, Windsor, Ontario, Canada;University of Windsor, Windsor, Ontario, Canada

  • Venue:
  • SARA'07 Proceedings of the 7th International conference on Abstraction, reformulation, and approximation
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

In this paper, we present a framework abstracting motion by creating a qualitative representation of classes describing motion, and use the continuity constraints implicitly embedded in the semantics of these classes to create a framework that enables plausible reasoning about them. In particular, we propose a topology-based calculus of motion whose primitive is a motion class. We subsequently construct a set of primitive motion classes that exhaustively describes the change in topology between two moving objects, and show how compound motion classes are formed from these primitive motion classes using continuity constraints we make explicit. We use composition tables to define queries in the spatio-temporal domain and enable the extension of the classes to reason about the change in topology among three objects as they move.