DocumentCode
1805615
Title
A topological transition based logic for the qualitative motion of objects
Author
Gagné, Denis ; Trudel, André
Author_Institution
Alex Inf., Lachine, Que., Canada
fYear
1996
fDate
19-20 May 1996
Firstpage
176
Lastpage
181
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/TIME.1996.555697
Filename
555697
Link To Document