Consensus Operator

The consensus $v_1 \sqcap v_2$ of two three-valued interpretations $v_1, v_2$ maps each $a \in A$ to $\mathsf{t}$ if $v_1(a) = v_2(a) = \mathsf{t}$ , to $\mathsf{f}$ if $v_1(a) = v_2(a) = \mathsf{f}$ , and to $\mathsf{u}$ otherwise.

Reference

Brewka, G., Ellmauthaler, S., Strass, H., Wallner, J.P. & Woltran, S. (2013). Abstract Dialectical Frameworks Revisited. In: Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013), pp. 803–809. AAAI Press.

Referenced by

Characteristic Operator