Holes, knots and shapes: A spatial ontology of a puzzle

Paulo Santos, Pedro Cabalar

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

2 Citations (Scopus)

Abstract

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.

Original languageEnglish
Title of host publicationLogical Formalizations of Commonsense Reasoning - Papers from the 2007 AAAI Spring Symposium, Technical Report
Pages144-149
Number of pages6
Publication statusPublished - 28 Dec 2007
Externally publishedYes
Event2007 AAAI Spring Symposium - Stanford, CA, United States
Duration: 26 Mar 200728 Mar 2007

Publication series

NameAAAI Spring Symposium - Technical Report
VolumeSS-07-05

Conference

Conference2007 AAAI Spring Symposium
CountryUnited States
CityStanford, CA
Period26/03/0728/03/07

Fingerprint Dive into the research topics of 'Holes, knots and shapes: A spatial ontology of a puzzle'. Together they form a unique fingerprint.

Cite this