ruleGraph

Graph · Kotlin object RuleGraphModule · library prolog.argumentation.graph

The whole argumentation graph of the rules of a theory (module ruleGraph, the graphBuilder of the profiles but abstract, see it.unibo.tuprolog.argumentation.core.runtime.settings.Profiles): every argument its rules make (see the module argumentBuilder), those derived from them (conflictArguments), and the attacks between them (attackBuilder), saved in the context (see the module graphStore).

Calls: argumentBuilder, attackBuilder, conflictArguments

Predicate	Description
`buildArgumentationGraph/0`	The arguments of the theory, those derived from them, and the attacks between them
`buildArguments/0`	The arguments of the theory
`buildAdditionalArguments/0`	The arguments derived from the others (see the module conflictArguments)
`buildAttacks/0`	The attacks between the saved arguments

buildArgumentationGraph/0

buildArgumentationGraph

The arguments of the theory, those derived from them, and the attacks between them.

buildArguments/0

buildArguments

The arguments of the theory.

buildAdditionalArguments/0

buildAdditionalArguments

The arguments derived from the others (see the module conflictArguments).

buildAttacks/0

buildAttacks

The attacks between the saved arguments.