ABSTRACT
The chapter presents the models for reasoning with space and time. It begins with spatial axioms and illustrates their applications in automated reasoning with first order logic. Much emphasis has been given on the formalization of the spatial relationships among the segmented objects in a scene. Fuzzy spatial relationship among 2-D objects has been briefly outlined. The application of spatial reasoning in navigational planning of mobile robots has also been highlighted. The second half of the chapter deals with temporal reasoning. The principles of temporal reasoning have been introduced from the first principles by situation calculus and first order temporal logic. The need for reasoning with both space and time concurrently in dynamic scene interpretation is also outlined at the end of the chapter.
