Ontify
In mathematical optimization, a function (to be minimized) representing the cost of each outcome.