abstractGraph
Graph · Kotlin object AbstractGraphModule · library prolog.argumentation.graph.abstract
The argumentation graph of an abstract theory (module abstractGraph, the graphBuilder of the profile abstract):
the arguments it states, a. or arg(a), and the attacks between them, a -> b. or att(a, b), and a <-> b. for a
mutual attack, facts or derived by Prolog clauses (X -> Y :- beats(X, Y).); an argument attacking or attacked is
an argument as well. Each is saved as abstract::solve saves them. The module abstractLanguage checks the theory.
- Calls: abstract, graphStore, utils
| Predicate | Description |
|---|---|
buildArgumentationGraph/0 | The arguments and the attacks of the theory, saved in the context |
buildArguments/0 | As buildArgumentationGraph: an abstract theory has its attacks with its arguments |
buildAdditionalArguments/0 | As buildArgumentationGraph, in query mode: exploring the query finds no argument in an abstract theory, which has no rule, so the graph is the whole one |
buildAttacks/0 | None more: the attacks are saved with the arguments |
theoryClause/2 | The clauses of the theory, Head :- Body (Body true for a fact), each a fresh copy, but the facts stating flags: read as data, as clause/2 reads them, for the heads it cannot read as well (those of the control constructs, such as ->/2, which the notations of some profiles use) |
buildArgumentationGraph/0
buildArgumentationGraphThe arguments and the attacks of the theory, saved in the context.
buildArguments/0
buildArgumentsAs buildArgumentationGraph: an abstract theory has its attacks with its arguments.
buildAdditionalArguments/0
buildAdditionalArgumentsAs buildArgumentationGraph, in query mode: exploring the query finds no argument in an abstract theory, which has no rule, so the graph is the whole one.
buildAttacks/0
buildAttacksNone more: the attacks are saved with the arguments.
theoryClause/2
theoryClause(?Head, ?Body)Native primitive.
The clauses of the theory, Head :- Body (Body true for a fact), each a fresh copy, but the facts stating flags: read as data, as clause/2 reads them, for the heads it cannot read as well (those of the control constructs, such as ->/2, which the notations of some profiles use)