Module aspic 

ASPIC+ integration: feed a SchemeInstance into an argumentation::aspic::StructuredSystem as ordinary premises plus a defeasible rule.

Functions

add_counter_argument

Feed a critical question’s counter-argument into a StructuredSystem as an ordinary premise asserting the counter-literal, plus a defeasible rule concluding the contrary of the original scheme’s conclusion (rebut).

add_scheme_to_system

Feed a scheme instance into a StructuredSystem as ordinary premises and a defeasible rule (premises → conclusion).