<<
Logical Repre s entations
for Automate d Re asoning
ab out Spatial Relationship s
Brandon Bennett
Submitte d in accordance with the requirements for the degree of
Do ctor of Philo sophy
The Univers ity of Lee ds
Scho ol of Computer Studie s
Octob er
The candidate con rms that the work submitte d i s hi s own and that appropr iate
cre dit has b een given where reference has b een made to the work of others
Ab stract
Thi s the s i s inve stigate s logical repre s entations for de scr ibing and reasoning ab out spatial s ituations
Previously prop os e d theor ie s of spatial regions are inve stigate d in some detail e sp ecially the