The aim of the tutorial is to present the state of art in Qualitative Spatial Reasoning to the non specialist; this could either provide a suitable introduction for the intending research student, or for a practitioner in another research area or application domain who may be interested in exploiting QSR techniques. The presentation is expected to include practical demonstrations of techniques and applications including video footage. There will be ample opportunity for tutees to ask questions.
After an introduction covering basic ontology, some history and motivation, the tutorial syllabus will cover major aspects of qualitative spatial representation (including topology, distance and size, orientation and shape), uncertainty and vagueness, spatial change, reasoning techniques, applications and research issues.
Some basic knowledge of logic would be helpful but not essential for
understanding the tutorial.
About the Lecturers
is Professor of Automated Reasoning at the University of Leeds and has
been leading a research group on qualitative spatial reasoning since the
late 1980s. He coordinates the European network SPACENET on qualitative
spatial reasoning and has given a number of invited tutorials and
lectures on the subject in various international AI and Geographical
Information Systems forums. He has been chairman of the European and
British AI societies and programme chair of several AI conferences.