Strings and holes: an exercise on spatial reasoning

Authors:
Pedro Cabalar;Paulo Santos
Affiliations:
Department of Computer Science, Corunna University, Galicia, Spain;Department of Electrical Engineering, Centro Universitário da FEI, São Paulo, Brazil
Venue:
IBERAMIA-SBIA'06 Proceedings of the 2nd international joint conference, and Proceedings of the 10th Ibero-American Conference on AI 18th Brazilian conference on Advances in Artificial Intelligence
Year:
2006

Citing 5
Cited 1

Default reasoning about spatial occupancy

Artificial Intelligence
Qualitative representation of positional information

Artificial Intelligence
Spatial and Temporal Reasoning

Spatial and Temporal Reasoning
Qualitative Spatial Representation and Reasoning: An Overview

Fundamenta Informaticae - Qualitative Spatial Reasoning
A hierarchy of boundary-based shape descriptors

IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 2

Formalising the Fisherman's Folly puzzle

Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper investigates the challenging problem of encoding the knowledge and reasoning processes involved in the common sense manipulation of physical objects. In particular we provide a formalisation of a domain involving rigid objects, holes and a string within a reasoning about actions and change framework. Therefore, this work investigates the formalisation and reasoning about flexible objects and void space (holes) in a single domain. Preliminary results of automated reasoning within this domain are also presented.