semistable
Labelling · Kotlin object SemistableModule · library prolog.argumentation.graph.labelling.semistable
The semi-stable labellings (module semistable, an argumentLabellingMode): the preferred ones with a minimal set
of UND arguments.
- Calls: conflictfree, graphStore, preferred, utils
- Called by: eager
| Predicate | Description |
|---|---|
locality/1 | Query mode: not directional, but the labellings of unconnected parts of the graph are independent: the label of an argument depends on the arguments connected to it, in either direction |
argumentLabelling/0 | Semi-stable labellings are the preferred ones with a minimal set of UND arguments (an admissible set with a maximal range is a maximal admissible set) |
locality/1
locality(-Locality)Query mode: not directional, but the labellings of unconnected parts of the graph are independent: the label of an argument depends on the arguments connected to it, in either direction
argumentLabelling/0
argumentLabellingSemi-stable labellings are the preferred ones with a minimal set of UND arguments (an admissible set with a maximal range is a maximal admissible set)