Diagnosability of Discrete-Event Systems with Uncertain Observations