{"type":"ScholarlyArticle","title":"From Images to Bodies: Modelling and Exploiting Spatial Occlusion and Motion Parallax","authors":[{"name":"David A. Randell","slug":"david-a-randell","given":"David A.","family":"Randell","affiliation":""},{"name":"Mark Witkowski","slug":"mark-witkowski","given":"Mark","family":"Witkowski","affiliation":""},{"name":"Murray Shanahan","slug":"murray-shanahan","given":"Murray","family":"Shanahan","affiliation":""}],"abstract":"This paper describes the Region Occlusion Calculus (ROC-20), that can be used to model spatial occlusion and the effects of motion parallax of arbitrary shaped objects. ROC-20 assumes the region based ontology of RCC-8 and extends Galton’s Lines of Sight Calculus by allowing concave shaped objects into the modelled domain. This extension is used to describe the effects of mutually occluding bodies. The inclusion of van Benthem’s axiomatisation of comparative nearness facilitates reasoning about relative distances between occluding bodies. Further, an envisionment table is developed to model sequences of occlusion events enabling reasoning about objects and their images formed in a changing visual field.","doi":null,"url":"https://ijcai.org/proceedings/2001/8","pdf":"https://ijcai.org/proceedings/2001/0008.pdf","markdown":"https://ijcai.org/proceedings/2001/8.md","bibtex":"https://ijcai.org/proceedings/2001/bibtex/8","volume":{"slug":"2001","title":"Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2001","url":"https://ijcai.org/proceedings/2001/","year":2001,"location":"Seattle, Washington, USA","dates":"","editors":"","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":8,"pages":{"first":57,"last":65},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}