Information Ordering

The information ordering $\leq_i$ on truth values is given by $\mathsf{u} <_i \mathsf{t}$ and $\mathsf{u} <_i \mathsf{f}$ . For two three-valued interpretations $v_1, v_2$ we have $v_1 \leq_i v_2$ iff $v_1(a) \leq_i v_2(a)$ for all $a \in A$ .

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

Admissibility (ADF)
Grounded Semantics (ADF)
Initial Models (ADF)
Naive Semantics (ADF)
Preferred Semantics (ADF)
Two-Valued Completions
Two-Valued Interpretation