Module argumentation 

Re-exports

pub use crate::frame_layout::ARGUMENT_BIT;

pub use crate::frame_layout::ATTACK_BIT;

pub use crate::frame_layout::DEFENSE_BIT;

pub use bipolar::BipolarFramework;

pub use generation::framework_from_trace;

pub use vaf::ValueArgumentationFramework;

Modules

bipolar

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

generation

Dynamic argument-generation engine — build a Dung framework directly from raw deontic / LTL trace verdicts. Each verdict becomes an argument concluding a signed literal; verdicts with complementary conclusions (same literal, opposite polarity) attack each other. This is the bridge from the engine’s modal/deontic traces into abstract argumentation, so a conflict in the trace becomes a resolvable debate.

vaf

Value-based Argumentation Frameworks (Bench-Capon) — attacks succeed only when the attacker’s value is not less preferred than the target’s. This lets a human-rights hierarchy decide conflicts: an attack from a less-important value cannot defeat an argument grounded in a more-important (e.g. non-derogable) right. The result projects to a standard Dung framework of successful defeats, over which the usual semantics apply.

Structs

Argument

Argument in an abstract argumentation framework

ArgumentationFramework

Abstract argumentation framework

Attack

Attack relation between arguments

Enums

ArgumentStatus

Argument status in the framework

AttackType

Constants

MAX_GROUNDED_ARGS

Max arguments considered by the zero-heap grounded-extension membership test.

Functions

create_sanctuary_debate

Create a simple debate about sanctuary boundaries

framework_to_quins

Convert argument framework to NQuin representation for storage

grounded_contains

Zero-heap Dung (1995) grounded-extension membership test over caller-supplied, bounded argument and attack arrays. Returns whether goal is justified (in the grounded extension). No allocation — fixed stack buffers only; suitable for the Webizen VM hot path. (ArgumentationFramework::grounded_extension is the heap-using batch variant for the cold path.)