argumentation_values/lib.rs
1//! Value-based argumentation frameworks (VAFs) built on the `argumentation` crate.
2//!
3//! Bench-Capon (2003) extended Dung frameworks with *values* — each argument
4//! promotes a value, and an *audience* is an ordering over values. Different
5//! audiences reach different rational conclusions from the same framework.
6//!
7//! # Multi-value support
8//!
9//! This implementation follows Kaci & van der Torre (2008) and supports
10//! arguments promoting multiple values. The defeat rule (Pareto-defeating)
11//! degenerates to Bench-Capon (2003) single-value when each argument
12//! promotes exactly one value. See [`framework::ValueBasedFramework::defeats`].
13
14pub mod acceptance;
15pub mod apx;
16pub mod error;
17pub mod framework;
18pub mod multi;
19pub mod scheme_bridge;
20pub mod types;
21
22pub use error::Error;
23pub use framework::ValueBasedFramework;
24pub use multi::MultiAudience;
25pub use scheme_bridge::from_scheme_instances;
26pub use types::{Audience, Value, ValueAssignment};