cf2
Labelling · Kotlin object Cf2Module · library prolog.argumentation.graph.labelling.cf2
The cf2 labellings (module cf2, an argumentLabellingMode): the naive labellings of each strongly connected
component, the components taken in turn once the arguments attacked by the previous ones are suppressed.
- Calls: graphStore, utils
- Called by: stage2
| Predicate | Description |
|---|---|
locality/1 | Query mode: the label of an argument only depends on the arguments it depends on (directionality) |
argumentLabelling/0 | Each cf2 labelling in turn, left as the active context |
compute/1 | Each labelling built with the labellings Base (naive or stage) of each component, left as the active context |
locality/1
locality(-Locality)Query mode: the label of an argument only depends on the arguments it depends on (directionality)
argumentLabelling/0
argumentLabellingEach cf2 labelling in turn, left as the active context.
compute/1
compute(+Base)Each labelling built with the labellings Base (naive or stage) of each component, left as the active context.