Uncertainty-Aware Signal Temporal Logic Inference