Incomplete Argumentation Framework

An incomplete argumentation framework $I = (A, A^?, R, R^?)$ splits both the set of arguments and the set of attacks into two disjoint parts, the definite part ($A$ and $R$) and the uncertain part ($A^?$ and $R^?$), where both $R$ and $R^?$ are subsets of $(A \cup A^?) \times (A \cup A^?)$.

Further reading

• (Coste-Marquis et al., 2007): partial argumentation systems, which add uncertain attacks, introduced for merging argumentation frameworks.
• (Baumeister et al., 2018): combines uncertain arguments and attacks into the general model, and studies verification.