# Optimal truth assignments for minimizing variation from credences

Suppose I have a set of propositions and "exogenous" credence levels for each proposition i.e. how likely I think it is to be true. Then suppose Ι know that certain logical relations hold between the propositions. I could then try to find the assignment of true and false values for the propositions that maximizes the absolute (or squared etc.) error (i.e. 0 or 1 minus the credence) subject to the logical relation constraints.

I'm guessing this sort of thing has a name in formal epistemology. What is it and where can I read about it? Thanks

(I was trying to notate this post a little better but it doesn't seem to support mathjax).