Theoretical Aspects of Navigation