A Probabilistic Formulation of Damage Detection