rebutRestriction
Graph extensions · Kotlin object RebutRestrictionModule · library prolog.argumentation.graph.rebutrestriction
The restricted rebut (module rebutRestriction, a graphExtension): a rebut only succeeds on an argument whose top
rule is defeasible.
- Calls: argument, graphStore
| Predicate | Description |
|---|---|
modifyArgumentationGraph/0 | The restricted attacks on an argument whose top rule is strict are removed |
modifyArgumentationGraph/0
modifyArgumentationGraphThe restricted attacks on an argument whose top rule is strict are removed.