abstract
Evaluation · Kotlin object AbstractModule · library prolog.argumentation.abstract
The labelling of abstract argumentation frameworks (module abstract): arguments and attacks given as they are,
labelled by the semantics of argumentLabellingMode.
- Calls: argument, graphStore, structuredWhole, utils
- Called by: abstractGraph
- Flags:
argumentLabellingMode(see Flags)
| Predicate | Description |
|---|---|
solve/5 | The labelling of the abstract framework of Arguments (atoms) and Attacks ((A, B) pairs), by argumentLabellingMode: the arguments IN, OUT and UND |
solve/2 | The labelling of the abstract framework of Arguments and Attacks, in the context |
solve/5
solve(+Arguments, +Attacks, -In, -Out, -Und)The labelling of the abstract framework of Arguments (atoms) and Attacks ((A, B) pairs), by argumentLabellingMode: the arguments IN, OUT and UND.
solve/2
solve(+Arguments, +Attacks)The labelling of the abstract framework of Arguments and Attacks, in the context. The lists are visited natively (forEach): as the goal of a findall, every step of the saving would visit them. The goals of forEach are solved in the module utils: they name the modules of their predicates.
Undocumented
Called by other modules, or dispatched to by the engine, with no %! comment:
abstractArgument/2