AgonProject › Glossary › ADF

Parents of an Argument

The parents of an argument aa in an ADF D=(A,L,C)D = (A, L, C) are par(a)={b∈A∣(b,a)∈L}par(a) = \{ b \in A \mid (b, a) \in L \}.

Reference

Brewka, G. & Woltran, S. (2010). Abstract Dialectical Frameworks. In: Proceedings of the 12th International Conference on Principles of Knowledge Representation and Reasoning (KR 2010), pp. 102–111. AAAI Press.

Referenced by

  • Abstract Dialectical Framework
  • Acceptance Condition
  • Bipolar ADF (BADF)
  • Strong Admissibility (ADF)