Assumption

An assumption is an atom a∈A⊆La \in \mathcal{A} \subseteq \mathcal{L} of an ABAF. Each assumption aa has a contrary a‾∈L\overline{a} \in \mathcal{L}.

Reference

Čyras, K., Fan, X., Schulz, C. & Toni, F. (2018). Assumption-Based Argumentation: Disputes, Explanations, Preferences. In: Baroni, P., Gabbay, D., Giacomin, M. & van der Torre, L. (eds.), Handbook of Formal Argumentation, Vol. 1, Chapter 7, pp. 365–408. College Publications.

Referenced by