Holes, Knots and Shapes: A Spatial Ontology of a Puzzle

Paulo E. Santos, Pedro Cabalar

In this paper we propose a spatial ontology for reasoning about holes, rigid objects and strings, taking a classical puzzle as a motivating example. In this ontology the domain is composed of spatial regions whereby a theory about holes is defined over a mereological basis. We also assume primitives for representing shapes of objects (including the string). From these primitives we propose a sufficient condition for object's penetrability through holes. Additionally, a string is represented as a data structure defined upon a sequence of sections limited by points where the string crosses itself or points where it passes through a hole.

Subjects: 5. Common Sense Reasoning; 3.2 Geometric Or Spatial Reasoning

Submitted: Jan 25, 2007

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.