An Occlusion Calculus Based on an Interval Algebra

Paulo E Santos (1) , Gérard Ligozat (2) , Marjan Safi-Samghabadi (3)

1 Centro Universitario da FEI
2 LIMSI - Laboratoire d'Informatique pour la Mécanique et les Sciences de l'Ingénieur
3 Alzahra University

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.

Mots clés: occlusion calculus; Allen's interval algebra; relation algebra; constraint-based reasoning

Domaines: Intelligence artificielle [cs.AI]; Informatique et langage [cs.CL]; Linguistique

Paulo E Santos, Gérard Ligozat, Marjan Safi-Samghabadi. An Occlusion Calculus Based on an Interval Algebra. 4th Brazilian Conference on Intelligent Systems (BRACIS 2015), Nov 2015, Nadal, Brazil. pp.128 - 133, ⟨10.1109/BRACIS.2015.12⟩. ⟨hal-01433863⟩