Spatial Reasoning: Theory and Practice

"Spatial structures and spatial reasoning are essential to perception and cognition. Much day-to-day practical information is about what happens at certain spatial locations. Moreover, spatial representation is a powerful source of geometric intuitions that underlie general cognitive tasks. How can we represent spatially located entities and reason about them? To take a concrete domestic example: when we are setting a table and place a spoon, what are the basic spatial properties of this new item in relation to others, and to the rest of the space? Not only, there are further basic aspects to perception: we have the ability to compare different visual scenes, and recognize objects across them, given enough ‘similarity’. More concretely: which table settings are ‘the same’? This is another task for which logic provides tools."

• Authors: M. Aiello
• Keywords: Axiomatics, Expressiveness, Machine Learning, Spatial Reasoning, Topo