Track:
Contents
Downloads:
Abstract:
In this paper we analyze two different notions of containment that are relevant to reasoning about physical systems, a notion of being inside versus a notion of being restricted. We develop a formal vocabulary that allows us to represent and reason about restrictive containment and formalize three kinds of accessibility that are each salient to attempts to reason about the ability of pairs of objects in a system to interact. We also consider the relation of this calculus to the RCC-8 and potential applications.