Package org.tweetyproject.logics.pl.util

Class RandomSampler

java.lang.Object

org.tweetyproject.commons.BeliefSetSampler<PlFormula,PlBeliefSet>

org.tweetyproject.logics.pl.util.RandomSampler

All Implemented Interfaces:

Iterator<PlBeliefSet>, BeliefSetIterator<PlFormula,PlBeliefSet>

public class RandomSampler
extends BeliefSetSampler<PlFormula,PlBeliefSet>

This sampler generates random belief sets by selecting, for each formula a random set of possible worlds as its models.

Author:

Matthias Thimm

Field Summary

Fields inherited from class org.tweetyproject.commons.BeliefSetSampler

DEFAULT_MAXIMUM_BELIEFBASE_LENGTH, DEFAULT_MINIMUM_BELIEFBASE_LENGTH

Constructor Summary

Constructors

Constructor	Description
RandomSampler(Signature signature, double worldProb)	Creates a new sampler for the given signature
RandomSampler(Signature signature, double worldProb, int minLength, int maxLength)	Creates a new sampler for the given signature

Method Summary

Modifier and Type	Method	Description
PlBeliefSet	next()

Methods inherited from class org.tweetyproject.commons.BeliefSetSampler

getMaxLength, getMinLength, getSamplerSignature, hasNext

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface java.util.Iterator

forEachRemaining, remove

Constructor Details

RandomSampler

public RandomSampler(Signature signature,
 double worldProb)

Creates a new sampler for the given signature

Parameters:

signature - some signature

worldProb - Probability of selecting any world as a model of a formula

RandomSampler

public RandomSampler(Signature signature,
 double worldProb,
 int minLength,
 int maxLength)

Creates a new sampler for the given signature

Parameters:

signature - some signature

worldProb - Probability of selecting any world as a model of a formula

minLength - the minimum length of knowledge bases

maxLength - the maximum length of knowledge bases

Method Details

next

public PlBeliefSet next()

Specified by:

next in interface BeliefSetIterator<PlFormula,PlBeliefSet>

Specified by:

next in interface Iterator<PlBeliefSet>

Specified by:

next in class BeliefSetSampler<PlFormula,PlBeliefSet>