Mapping validation by probabilistic reasoning