Skip to content Search
Search our website:

Computational Logic of Euclidean Spaces

EPSRC project

The aim of the project is to investigate the computational properties of practically applicable spatial and spatio-temporal logics interpreted over well-behaved regions in 2- and 3-dimensional Euclidean spaces, and to develop and implement algorithms for reasoning with them.

Objectives:

1. Analyse the computational complexity of decidable topological representation formalisms over well-behaved regions in the Euclidean plane. Identify tractable fragments. Develop and implement reasoning procedures.

2. Analyse the computational complexity of decidable metric representation formalisms over well-behaved regions in the Euclidean plane. Develop and implement reasoning procedures.

3. Investigate topological and metrical representation formalisms over well-behaved regions in 3-dimensional Euclidean space and 3-dmensional spatio-temporal structures. Identify decidable fragments.

Prof Michael Zakharyaschev is PI at Birkbeck, Dr Roman Kontchakov is research fellow on the project;

Dr Ian Pratt-Hartmann is PI at Manchester.