bp_grounded_partial
Labelling · Kotlin object BpGroundedPartialModule · library prolog.argumentation.graph.labelling.bpgroundedpartial
The partial labelling with burdens of persuasion (module bp_grounded_partial, an argumentLabellingMode, ICLP):
each argument labelled IN*, OUT* or UND* by the conditions of the burdens on its conclusion and its complement.
- Calls: argument, bp_grounded, conflict, debug, graphStore, superiority, utils
- Called by: bp_grounded_complete
| Predicate | Description |
|---|---|
locality/1 | Query mode: not known to be directional (the burdens of proof order the arguments along the attacks), the label of an argument is taken to depend on the arguments connected to it, in either direction |
argumentLabelling/0 | The labelling, in the active context |
partialBpLabelling/1 | The labels of Arguments, the most grounded first, deciding first the arguments the label of each depends on |
locality/1
locality(-Locality)Query mode: not known to be directional (the burdens of proof order the arguments along the attacks), the label of an argument is taken to depend on the arguments connected to it, in either direction
argumentLabelling/0
argumentLabellingThe labelling, in the active context.
partialBpLabelling/1
partialBpLabelling(+Arguments)The labels of Arguments, the most grounded first, deciding first the arguments the label of each depends on.