defeasibleLanguage
Language · Kotlin object DefeasibleLanguageModule · library prolog.argumentation.language.defeasible
The defeasible part of the language of ASPIC+ (module defeasibleLanguage, a graphLanguage of the profile
aspic_defeasible): defeasible rules alone, facts as rules with no premise (r : [] => a.). It adds no premise nor
conflict; it checks the theory has no strict rule, axiom nor premise.
- Calls: parser
| Predicate | Description |
|---|---|
premises/1 | None |
conflicts/1 | None |
check/0 | The theory has defeasible rules alone |
premises/1
premises(-Premises)None.
conflicts/1
conflicts(-Conflicts)None.
check/0
checkThe theory has defeasible rules alone.