Abstract
This thesis develops a method of qualitative spatial reasoning based on the spatial semantics of Stephen C. Levinson. Levinson's semantics concern projective relations in natural language, which thus become the focus of the system of inference. Topological relations are not included. In order to better understand what constraint-based reasoning is, the thesis reviews the interval algebra of James F. Allen, as well as Christian Freksa's Double Cross Calculus and the Regional Connection Calculus of Randell et al.