A set theoretic approach to the simultaneous localization and map building problem.