A Theory of Uncertainty Variables for State Estimation and Inference