net.sf.tweety.logics.pl.util

Class RandomPlBeliefSetSampler

java.lang.Object

net.sf.tweety.commons.BeliefBaseSampler<PlBeliefSet>

net.sf.tweety.logics.pl.util.RandomPlBeliefSetSampler

public class RandomPlBeliefSetSampler
extends BeliefBaseSampler<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

Modifier and Type	Field and Description
private java.util.List<PossibleWorld>	allWorlds All possible worlds
private java.util.Random	rand for generating random numbers
private double	worldProb Probability of selecting any world as a model of a formula

Fields inherited from class net.sf.tweety.commons.BeliefBaseSampler

DEFAULT_MAXIMUM_BELIEFBASE_LENGTH, DEFAULT_MINIMUM_BELIEFBASE_LENGTH

Constructor Summary

Constructors

Constructor and Description
RandomPlBeliefSetSampler(Signature signature, double worldProb) Creates a new sampler for the given signature

Method Summary

Modifier and Type	Method and Description
private PropositionalFormula	randomFormula() Returns a random formula.
PlBeliefSet	randomSample(int minLength, int maxLength) This method randomly samples a single belief base of the given signature with the given belief base length.

Methods inherited from class net.sf.tweety.commons.BeliefBaseSampler

getSignature, randomSample, randomSample

Methods inherited from class java.lang.Object

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

Field Detail

allWorlds

private java.util.List<PossibleWorld> allWorlds

All possible worlds

rand

private java.util.Random rand

for generating random numbers

worldProb

private double worldProb

Probability of selecting any world as a model of a formula

Constructor Detail

RandomPlBeliefSetSampler

public RandomPlBeliefSetSampler(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

Method Detail

randomSample

public PlBeliefSet randomSample(int minLength,
                                int maxLength)

Description copied from class: BeliefBaseSampler

This method randomly samples a single belief base of the given signature with the given belief base length.

Specified by:

randomSample in class BeliefBaseSampler<PlBeliefSet>

Parameters:

minLength - the minimum length of the belief base.

maxLength - the maximum length of the belief base.

Returns:

a single belief base.

randomFormula

private PropositionalFormula randomFormula()

Returns a random formula.

Returns:

a random formula.