I think this comment misunderstands the nature of a probabilistic system. It doesn't reason, or use constraints, or do analytic math. It measures probabilities based on observations.

The well-defined problems aren't well-defined in this sense.