Using symbolic sensor fusion for the self calibration of a mobile robot