aspicLanguage
Language · Kotlin object AspicLanguageModule · library prolog.argumentation.language.aspic
The language of ASPIC+ (module aspicLanguage, a graphLanguage of the profiles aspic_plus and aspic): the one of
arg2p, well formed (Modgil and Prakken 2013). A contrary, a conflict declared one way only (conflict(X, Y) with
no conflict(Y, X)), targets defeasible statements alone: neither an axiom nor the conclusion of a strict rule,
which no attack could reach. The contradictories (negations, conflicts declared both ways) are those transposition
closes the strict rules over.
- Calls: parser
| Predicate | Description |
|---|---|
premises/1 | None but those of the theory |
conflicts/1 | None but those of the theory |
check/0 | The theory is well formed: no contrary of an axiom or of the conclusion of a strict rule |
premises/1
premises(-Premises)None but those of the theory.
conflicts/1
conflicts(-Conflicts)None but those of the theory.
check/0
checkThe theory is well formed: no contrary of an axiom or of the conclusion of a strict rule.