Reference overview

Curated entry point into the argumentation workspace. For exhaustive API docs, see rustdoc.

Core types

`EncounterArgumentationState`

The central state object for the encounter bridge. Composes schemes + bipolar + weighted. → Full docs

`StateActionScorer<'a, S>`

Wraps an inner ActionScorer and boosts affordances whose argument is credulously accepted at current β. → Full docs

`StateAcceptanceEval<'a>`

Encounter's AcceptanceEval<P> impl backed by a live state reference. Rejects on credulously-accepted counter-arguments. → Full docs

`AffordanceKey`

Canonical (actor, affordance_name, bindings) triple used for forward-index lookup. → Full docs

`Budget`

A validated scene-intensity value in [0.0, 1.0]. Construct with Budget::new(f64). → Full docs

`Scheme` + `SchemeInstance`

A Walton scheme template and its bound instantiation. Instantiate via Scheme::instantiate(&bindings). → Full docs

`WeightedBipolarFramework<A>`

The underlying attack+support+weights graph. Usually accessed through EncounterArgumentationState. → Full docs

`Error` (encounter-argumentation)

Error enum for the bridge. Variants include MissingProposerBinding — surfaces when an affordance has no "self" binding. Drained via state.drain_errors(). → Full docs

Core methods

Method	What it does
`EncounterArgumentationState::new(registry)`	Construct with a scheme catalog.
`set_intensity(&self, Budget)`	Set β through a shared reference.
`add_scheme_instance_for_affordance(...)`	Seed the forward index. Required before `resolve`.
`is_credulously_accepted(&id)`	Acceptance check at current β.
`has_accepted_counter_by(responder, &target)`	Per-responder attacker-credulity check.
`drain_errors()`	Drain the latched error buffer after resolve.

Crate map

Crate	Purpose
`argumentation`	Dung + ASPIC+ core.
`argumentation-bipolar`	Attacks + supports.
`argumentation-weighted`	Weighted edges + `Budget`.
`argumentation-weighted-bipolar`	Composition; β-residual semantics.
`argumentation-schemes`	Walton's 60+ schemes + catalog.
`encounter-argumentation`	The bridge crate.

Core types​

EncounterArgumentationState​

StateActionScorer<'a, S>​

StateAcceptanceEval<'a>​

AffordanceKey​

Budget​

Scheme + SchemeInstance​

WeightedBipolarFramework<A>​

Error (encounter-argumentation)​

Core methods​

Crate map​

See also​