Evaluation
Evaluating the graph: abstract frameworks, the whole graph of a theory, or the part a query depends on.
| Module | Predicates | Description |
|---|---|---|
| abstract | 2 | The labelling of abstract argumentation frameworks (module abstract): arguments and attacks given as they are, labelled by the semantics of argumentLabellingMode |
| structuredWhole | 8 | The whole argumentation graph of a theory and its labellings, as the flags select them (module structuredWhole): the graph builder (graphBuildMode), the graph extensions (graphExtension), the semantics (argumentLabellingMode) and the statement labelling (statementLabellingMode) |
| structuredPartial | 6 | Query mode (module structuredPartial): the labels of the statements for a goal, computed on the part of the argumentation graph they depend on (see the modules queryExploration and argumentSearch), or on the whole graph |
| queryExploration | 9 | The part of the argumentation graph a query depends on (module queryExploration, for query mode): the arguments for the query, and, recursively, those their labels may depend on, saved as they are built (see the module argumentSearch) |
| argumentSearch | 1 | The arguments for a statement, built on demand (module argumentSearch, for query mode): from a premise, or from a rule whose premises are supported in turn by the arguments for them (explored through the module queryExploration, which saves them) |