abstractLanguage
Language · Kotlin object AbstractLanguageModule · library prolog.argumentation.language.abstract
The language of Dung frameworks (module abstractLanguage, the graphLanguage of the profile abstract): arguments
and attacks alone, which the module abstractGraph reads. It adds no premise nor conflict; it checks the theory has
none of the notations of the structured profiles, which an abstract framework would drop.
| Predicate | Description |
|---|---|
premises/1 | None |
conflicts/1 | None |
check/0 | The theory is an abstract framework: it has none of the rules, premises or axioms of the structured notations (r : B => H, f :=> a, f :-> a, the assumptions and contraries of ABA), which an abstract framework does not have: read as data, they would be dropped, or (r : [] -> a) taken for attacks |
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) |
premises/1
premises(-Premises)None.
conflicts/1
conflicts(-Conflicts)None.
check/0
checkThe theory is an abstract framework: it has none of the rules, premises or axioms of the structured notations (r : B => H, f :=> a, f :-> a, the assumptions and contraries of ABA), which an abstract framework does not have: read as data, they would be dropped, or (r : [] -> a) taken for attacks. Nor has it the preferences, conflicts and burdens of arg2p (sup/2, conflict/2,3, bp/N), which no argument would use.
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)