Module aspic 

ASPIC+ structured argumentation (Modgil & Prakken 2014).

Re-exports

pub use argument::Argument;

pub use argument::ArgumentId;

pub use argument::Origin;

pub use argument::construct_arguments;

pub use attacks::Attack;

pub use attacks::AttackKind;

pub use attacks::compute_attacks;

pub use defeat::BuildOutput;

pub use defeat::DefeatOrdering;

pub use defeat::StructuredSystem;

pub use kb::KnowledgeBase;

pub use kb::Premise;

pub use language::Literal;

pub use postulates::PostulateReport;

pub use postulates::PostulateViolation;

pub use rules::Rule;

pub use rules::RuleId;

pub use rules::RuleKind;

Modules

argument

Argument tree construction from knowledge base and rule set.

attacks

Attack relations between ASPIC+ arguments.

defeat

StructuredSystem: the top-level ASPIC+ entry point.

kb

Knowledge base: necessary and ordinary premises.

language

Propositional language for ASPIC+.

postulates

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

rules

Strict and defeasible inference rules.