Uses of Interface
org.tweetyproject.arg.deductive.categorizer.Categorizer
-
-
Uses of Categorizer in org.tweetyproject.arg.deductive.categorizer
Classes in org.tweetyproject.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 org.tweetyproject.arg.deductive.reasoner
Constructors in org.tweetyproject.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 org.tweetyproject.beliefdynamics.mas
Classes in org.tweetyproject.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 org.tweetyproject.beliefdynamics.selectiverevision.argumentative
Constructors in org.tweetyproject.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.
-