Probabilistic problem solver