Module semantics 

Acceptance semantics for weighted bipolar frameworks under Amgoud 2008 + Dunne 2011: iterate every β-inconsistent residual bipolar framework and aggregate across them (OR for credulous, AND for skeptical).

Functions

is_credulously_accepted_at

target is β-credulously accepted iff it belongs to some bipolar-preferred extension of some β-inconsistent residual.

is_skeptically_accepted_at

target is β-skeptically accepted iff it belongs to every bipolar-preferred extension of every β-inconsistent residual. Returns false when any residual has no preferred extensions.