Uses of Interface
net.sf.tweety.arg.deductive.categorizer.Categorizer
-
-
Uses of Categorizer in net.sf.tweety.arg.deductive.categorizer
Classes in net.sf.tweety.arg.deductive.categorizer that implement Categorizer Modifier and Type Class Description class
ClassicalCategorizer
This class implements a simple categorizer that does an bottom-up marking of the tree; leafs are marked undefeated and an inner node is marked defeated if at least one child is marked undefeated and defeated otherwise.
The method "categorize" returns "1" if the root node is undefeated and "0" if it is defeated.class
HCategorizer
This class implements the h-categorizer from
Philippe Besnard and Anthony Hunter. -
Uses of Categorizer in net.sf.tweety.arg.deductive.reasoner
Constructors in net.sf.tweety.arg.deductive.reasoner with parameters of type Categorizer Constructor Description AbstractDeductiveArgumentationReasoner(Categorizer categorizer, Accumulator accumulator)
Creates a new reasoner for the given belief base, categorizer, and accumulator.CompilationReasoner(Categorizer categorizer, Accumulator accumulator)
Creates a new compilation reasoner for the given belief base, categorizer, and accumulator.SimpleDeductiveReasoner(Categorizer categorizer, Accumulator accumulator)
Creates a new reasoner for the given belief base, categorizer, and accumulator. -
Uses of Categorizer in net.sf.tweety.beliefdynamics.mas
Classes in net.sf.tweety.beliefdynamics.mas that implement Categorizer Modifier and Type Class Description class
CredibilityCategorizer
This class implements a credibility-based categorizer that works like the classical categorizer but dismisses arguments where the least credible agent which uttered a formula in that argument is not as least as credible as the least credible agent which uttered a formula of the parent argument. -
Uses of Categorizer in net.sf.tweety.beliefdynamics.selectiverevision.argumentative
Constructors in net.sf.tweety.beliefdynamics.selectiverevision.argumentative with parameters of type Categorizer Constructor Description ArgumentativeTransformationFunction(Categorizer categorizer, Accumulator accumulator, PlBeliefSet beliefSet, boolean isSkeptical)
Creates a new argumentative transformation function.
-