Constrained Recursive Hypothesis Inference

 A framework for structured exploratory reasoning under uncertainty.