Title :
A topological transition based logic for the qualitative motion of objects
Author :
Gagné, Denis ; Trudel, André
Author_Institution :
Alex Inf., Lachine, Que., Canada
Abstract :
The authors present a spatio-temporal ontology suitable for representing and reasoning about the qualitative motion of rigid bodies. This simple ontology provides a uniform treatment of motion in one, two, and three dimensional space. A succinct axiomatization is provided capturing the ontology. This first order logic is based on the transition of topological relations between objects
Keywords :
knowledge representation; motion estimation; spatial reasoning; temporal logic; temporal reasoning; topology; first order logic; objects; ontology; qualitative motion; reasoning; representation; rigid bodies; spatio-temporal ontology; succinct axiomatization; topological relation transition; topological transition based logic; Artificial intelligence; Computer science; Gases; Liquids; Logic; Ontologies; Physics; Shape; Space exploration; Tree graphs;
Conference_Titel :
Temporal Representation and Reasoning, 1996. (TIME '96), Proceedings., Third International Workshop on
Conference_Location :
Key West, FL
Print_ISBN :
0-8186-7528-4
DOI :
10.1109/TIME.1996.555697
