All aspects of reasoning about physical systems have potential applications in computer games. However, a theory including a range of concepts suitable for specifying `intelligent' movement behaviour of computer controlled virtual agents would be very useful for programming virtual world scenarios. Among the concepts required for this purpose are those describing orientation, distance and trajectory.
This is still a large and complex domain, so for a feasible case study we will need to focus on some specific scenario involving a limited range of environment features and behaviour patterns which are to be handled.