Module postulates 

Caminada–Amgoud (2007) rationality postulates for structured argumentation.

These postulates express properties that a “well-behaved” ASPIC+ system should satisfy. They are:

1. Sub-argument closure: if an extension contains an argument A, it contains every sub-argument of A.
2. Closure under strict rules: if S is the set of conclusions of an extension, and S ⊢ φ via strict rules, then φ is also a conclusion of some argument in the extension.
3. Direct consistency: no pair of contrary conclusions both appear in the extension.
4. Indirect consistency: the closure of the extension’s conclusions under strict rules is consistent.

This module provides PostulateReport and a check function that evaluates a given extension against all four postulates. Violations typically signal a bug in the user’s rule set (e.g. missing transposition closure) rather than a bug in the crate.

Structs

PostulateReport

A report from checking the Caminada-Amgoud postulates against an extension.

Enums

PostulateViolation

A specific postulate violation with a short human-readable description.

Functions

check_postulates

Check all four rationality postulates against the given extension.