A Calculus for Reasoning about Containment and Object Access

Michael Pool

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.


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.