An Occlusion Calculus Based on an Interval Algebra

摘要

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.