Assumption-based Argumentation Framework (ABAF)

An ABA framework is a tuple $D = (\mathcal{L}, \mathcal{R}, \mathcal{A}, \overline{\phantom{a}})$, where $(\mathcal{L}, \mathcal{R})$ is a deductive system, $\mathcal{A} \subseteq \mathcal{L}$ a set of assumptions, and $\overline{\phantom{a}} \colon \mathcal{A} \to \mathcal{L}$ a contrary function.

Further reading

• (Bondarenko et al., 1997): the original abstract, argumentation-theoretic approach to default reasoning.