Comment by qgin

I don't know how much potential this has to solve propaganda / bad faith arguments because you can just say "that logic program is biased" and handwave the entire thing away.

But you could imagine a role for this in arbitration or legal settings.