Three-Valued Interpretation

A three-valued interpretation of an ADF is a function $v \colon A \to \{\mathsf{t}, \mathsf{f}, \mathsf{u}\}$ that assigns each argument the value $\mathsf{t}$ (accepted), $\mathsf{f}$ (rejected) or $\mathsf{u}$ (undecided).

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)
Conflict-Freeness (ADF)
Complete Semantics (ADF)
Initial Models (ADF)
Three-Valued Model (ADF)
Naive Semantics (ADF)
Preferred Semantics (ADF)
Semi-Two-Valued Semantics (ADF)
Strong Admissibility (ADF)
Two-Valued Completions
Consensus Operator
Information Ordering
Characteristic Operator
Sub-Reduct
Two-Valued Interpretation