bp
Graph extensions · Kotlin object BpModule · library prolog.argumentation.graph.meta.bp
The burdens of proof as part of the graph (module bp, a graphExtension): for an argument for bp(Statement) and
an argument for Statement, the burdened one, an argument for -burdmet(Conclusion) (top rule artificial) is
attacked as the burden of proof is, and rebuts or is rebutted by the burdened argument, depending on whether the
grounded labelling labels it IN.
- Calls: argument, bp_grounded, graphStore, grounded, utils
| Predicate | Description |
|---|---|
modifyArgumentationGraph/0 | The arguments for the burdens met, and their attacks with the burdened arguments |
queryDependencies/2 | A burden of proof on a statement is itself a conclusion (bp/1), related to the arguments for the statement |
queryDependants/2 | The arguments for a statement depend on the burden of proof on it |
modifyArgumentationGraph/0
modifyArgumentationGraphThe arguments for the burdens met, and their attacks with the burdened arguments.
queryDependencies/2
queryDependencies(+Argument, -Statement)A burden of proof on a statement is itself a conclusion (bp/1), related to the arguments for the statement.
queryDependants/2
queryDependants(+Argument, -Statement)The arguments for a statement depend on the burden of proof on it.