preferred
Labelling · Kotlin object PreferredModule · library prolog.argumentation.graph.labelling.preferred
The preferred labellings (module preferred, an argumentLabellingMode): the admissible ones with a maximal set of
IN arguments, built one strongly connected component at a time (see the module scc).
- Calls: scc
- Called by: semistable, ideal
| Predicate | Description |
|---|---|
locality/1 | Query mode: the label of an argument only depends on the arguments it depends on (directionality) |
argumentLabelling/0 | Preferred labellings are SCC-recursive: built component by component, keeping the admissible local labellings with a maximal set of IN arguments |
locality/1
locality(-Locality)Query mode: the label of an argument only depends on the arguments it depends on (directionality)
argumentLabelling/0
argumentLabellingPreferred labellings are SCC-recursive: built component by component, keeping the admissible local labellings with a maximal set of IN arguments