Probabilistic consistency of knowledge bases in inference systems