A prediction is incorrect if it disagrees with what is known to be true.
second, we develop a systematic framework for mitigating inconsistency in models by compiling the invariants into a differentiable loss functions using t-norms (Klement et al., 2013;Gupta and Qi, 1991) to soften logic.