Uses of Class
org.tweetyproject.commons.BeliefSetSampler
-
Uses of BeliefSetSampler in org.tweetyproject.arg.saf.util
Modifier and TypeClassDescriptionclass
This class implements a belief base sampler for structured argumentation frameworks. -
Uses of BeliefSetSampler in org.tweetyproject.logics.pl.util
Modifier and TypeClassDescriptionclass
A simple sampler for propositional belief bases.class
Generates random propositional belief base with a given inconsistency measure (for the contension inconsistency measure) and of a given size.class
Generates random propositional belief base with a given inconsistency measure (for the Hs inconsistency measure) and of a given size.class
Generates random propositional belief base with a given inconsistency measure (for the MI inconsistency measure) and of a given size.class
This sampler generates random belief sets by selecting, for each formula a random set of possible worlds as its models.class
A sampler for uniform random k-SAT instances.class
This sampler implements a random generation algorithm for generating formulas, based on the syntax tree of propositional formulas.