Tutorial: “DECLARATIVE SPATIAL REASONING — THEORY, METHODS, AND APPLICATIONS” by Mehul Bhatt, Carl Schultz, Przmyslaw Walega at IJCAI 2017 26th International Joint Conference on Artificial Intelligence in Melbourne Australia
August 19 - August 25
Spatial thinking, conceptualisation, and the verbal and visual (e.g., gestural, iconic, diagrammatic) communication of commonsense as well as expert knowledge about the world -the space that we exist in- is one of the most important aspects of everyday human life. Philosophers, cognitive scientists, psychologists, linguists, psycholinguists, ontologists, information theorists, computer scientists, mathematicians, architects, and environmental psychologists have each investigated space through the perspective of the lenses afforded by their respective field of study.
This tutorial will present computational visuo-spatial representation
and reasoning from the viewpoint of the research areas of artificial
intelligence, commonsense reasoning, and spatial cognition and
computation. The key focus will be on declarative spatial reasoning: the
ability to (declaratively) specify and solve real-world problems related
to geometric (i.e., quantitative) and qualitative visuo-spatial
representation and reasoning. The practical problems that we address and
demonstrate in this context encompass both specialist and everyday
commonsense reasoning instances identifiable in a range of cognitive
technologies and spatial assistance systems where spatio-linguistic
conceptualisation & background knowledge focussed visuo-spatial
cognition and computation are central.
Additional information can be found here: http://hcc.uni-bremen.de/codesign2017/tutorials/