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).