I think the system the author is looking for is probabilistic programming. It allows you to write programs/models with uncertain factors. Then at the end you ca

I think the system the author is looking for is probabilistic programming. It allows you to write programs/models with uncertain factors. Then at the end you can observe a few variables and it automatically computes the expectation and variance all the input variables. Check out psisolver.org for example.