Crate argumentation_values 

Value-based argumentation frameworks (VAFs) built on the argumentation crate.

Bench-Capon (2003) extended Dung frameworks with values — each argument promotes a value, and an audience is an ordering over values. Different audiences reach different rational conclusions from the same framework.

Multi-value support

This implementation follows Kaci & van der Torre (2008) and supports arguments promoting multiple values. The defeat rule (Pareto-defeating) degenerates to Bench-Capon (2003) single-value when each argument promotes exactly one value. See framework::ValueBasedFramework::defeats.

Re-exports

pub use error::Error;

pub use framework::ValueBasedFramework;

pub use multi::MultiAudience;

pub use scheme_bridge::from_scheme_instances;

pub use types::Audience;

pub use types::Value;

pub use types::ValueAssignment;

Modules

acceptance

Subjective and objective acceptance over the space of audiences.

apx

APX text format I/O for VAFs (ASPARTIX-compatible).

error

Error types for argumentation-values.

framework

ValueBasedFramework — Dung framework + value assignment, with audience-conditioned defeat semantics.

multi

Multi-audience consensus queries.

scheme_bridge

Bridge between argumentation-schemes and ValueAssignment.

types

Core types: Value, ValueAssignment, Audience.