eager
Labelling · Kotlin object EagerModule · library prolog.argumentation.graph.labelling.eager
The eager labelling (module eager, an argumentLabellingMode): the maximal admissible subset of the arguments IN
in every semi-stable labelling.
- Calls: admissible, conflictfree, graphStore, semistable, utils
| 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 | The eager labelling has IN the maximal admissible subset of the intersection of the semi-stable extensions |
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
argumentLabellingThe eager labelling has IN the maximal admissible subset of the intersection of the semi-stable extensions