argumentation-values 0.1.0

Value-based argumentation frameworks (Bench-Capon 2003) built on the argumentation crate
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26

//! 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`].

pub mod acceptance;
pub mod apx;
pub mod error;
pub mod framework;
pub mod multi;
pub mod scheme_bridge;
pub mod types;

pub use error::Error;
pub use framework::ValueBasedFramework;
pub use multi::MultiAudience;
pub use scheme_bridge::from_scheme_instances;
pub use types::{Audience, Value, ValueAssignment};