Package org.argkit.dung

Classes needed to support Dung's acceptability semantics.

See:
Description

Interface Summary

Acceptable	An Interface for getting and setting a Boolean "acceptable" flag.
DefeatSource<C>	Defeat is a binary relation between two arguments.
Reasoner<C>	An argument game reasoner interface.
ReasonerWriter<C>	An interface to define writers that can be used to serialise a Reasoning artefact using the visitor pattern.

Class Summary

AbstractReasoner<C>	An abstract class that manages a Reasoner's argument source and defeat source, ready for a particular Reasoner implementation.
AcceptableArgument<C>	An ArgumentDecorator that implements a Boolean acceptable field.
Branch<C>	A class that it used to store a branch of a particular argument game dialogue.
Dialogue<C>	Reasoning is implemented as a dialogue between two parties: the proponent (PRO) and the opponent (OPP).
Dungine<C>	A DungEngine decorates arguments from an ArgumentSource with an isAcceptable flag, using a DefeatSource and a Reasoner.
GroundedReasoner<C>	Grounded Semantics Argument Game Reasoner.
InformalArgumentSource	A source of defeating arguments that consist of a String claim implemented for testing and demonstration purposes.
PreferredCredulousReasoner<C>	Preferred Credulous Semantics Argument Game Reasoner.
Query<C>	A Query has a claim and a Result list.

Package org.argkit.dung Description

Classes needed to support Dung's acceptability semantics. Acceptability semantics require a network of arguments and their defeat relations. The DefeatSource interface defines the network of defeat relations from a set of arguments as defined by an ArgumentSource. A Reasoner implementation allows a particular Dung Semantics to be implemented and the Dungine class pulls it all together.