Skip to main content

Module bipolar

Module bipolar 

Source
Expand description

Bipolar Argumentation (Cayrol & Lagasquie-Schiex) — adds a support relation alongside attack and derives the complex attacks it induces (deductive-support semantics):

  • supported attack: a supports* b ∧ b attacks c ⇒ a attacks c
  • secondary attack: a attacks b ∧ c supports* b ⇒ a attacks c Projecting these derived attacks back into a Dung framework lets the standard semantics apply.

Structs§

BipolarFramework
A Dung framework augmented with a binary support relation.