| CanonicalUndercut |
This attack notion models the canonical undercut relation; A is defeated by B iff claim(B) =- \neg support(A).
|
| Defeat |
This attack notion models the defeat relation; A is defeated by B iff claim(B) |- \neg support(A).
|
| DefeatingRebuttal |
This attack notion models the defeating rebuttal relation; A is defeated by B iff claim(B) |- \neg claim(A).
|
| DirectDefeat |
This attack notion models the direct defeat relation; A is defeated by B iff there is c in support(A) with claim(B) |- \neg c.
|
| DirectUndercut |
This attack notion models the direct undercut relation; A is defeated by B iff there is c in support(A) with claim(B) == \neg c.
|
| Rebuttal |
This attack notion models the rebuttal relation; A is defeated by B iff claim(B) == \neg claim(A).
|
| Undercut |
This attack notion models the undercut relation; A is defeated by B iff there is C subset of support(A) with claim(B) == \neg C.
|