Title :
An Occlusion Calculus Based on an Interval Algebra
Author :
Paulo E. Santos;G?rard ;Marjan Safi-Samghabad
Author_Institution :
Centro Univ. da FEI, Sao Paulo, Brazil
Abstract :
This paper introduces a new qualitative spatial reasoning formalism, called Interval Occlusion Calculus (IOC), that takes into account multiple viewpoints of a scene. This formalism extends Allen´s Algebra by including an interval-based definition for spatial occlusion. We prove that IOC is a relation algebra and show complexity results for this formalism.
Keywords :
"Observers","Calculus","Algebra","Cognition","Complexity theory","Image segmentation","Intelligent systems"
Conference_Titel :
Intelligent Systems (BRACIS), 2015 Brazilian Conference on
DOI :
10.1109/BRACIS.2015.12