naive
Labelling · Kotlin object NaiveModule · library prolog.argumentation.graph.labelling.naive
The naive labellings (module naive, an argumentLabellingMode): the conflict-free ones with a maximal set of IN
arguments.
- Calls: conflictfree, graphStore
- Called by: stage
| 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 | Each naive labelling in turn, left as the active context |
naiveSubset/4 | The maximal conflict-free subsets of Args including Forced, each once: every argument of Args left out either attacks itself or conflicts with an argument of Set or In (already IN) |
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
argumentLabellingEach naive labelling in turn, left as the active context.
naiveSubset/4
naiveSubset(+Args, +Forced, +In, -Set)Native primitive.
The maximal conflict-free subsets of Args including Forced, each once: every argument of Args left out either attacks itself or conflicts with an argument of Set or In (already IN). An argument left out that no later argument can conflict with prunes the search.