Conventional models of navigation commonly assume a navigation agent’s location can be precisely determined. This paper examines the more general case, where an agent’s actual location cannot be precisely determined. This paper develops a formal model of navigation under imprecision using a graph. Two key strategies for dealing with imprecision are identified and defined: contingency and refine...