net.sf.tweety.logics.pl.util

Class CnfSampler

java.lang.Object

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

net.sf.tweety.logics.pl.util.CnfSampler

public class CnfSampler
extends BeliefBaseSampler<PlBeliefSet>

A simple sampler for propositional belief bases. This sampler always generates belief bases in CNF, i.e. every formula appearing in the belief base is a disjunction of literals.

Author:

Matthias Thimm

Field Summary

Fields

Modifier and Type	Field and Description
private double	maxVariableRatio The maximum ratio of variables appearing in a single formula.

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

DEFAULT_MAXIMUM_BELIEFBASE_LENGTH, DEFAULT_MINIMUM_BELIEFBASE_LENGTH

Constructor Summary

Constructors

Constructor and Description
CnfSampler(Signature signature, double maxVariableRatio) Creates a new sampler for the given signature.

Method Summary

Modifier and Type	Method and Description
PropositionalFormula	randomFormula() Samples a random formula (a disjunction of literals).
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

maxVariableRatio

private double maxVariableRatio

The maximum ratio of variables appearing in a single formula.

Constructor Detail

CnfSampler

public CnfSampler(Signature signature,
                  double maxVariableRatio)

Creates a new sampler for the given signature.

Parameters:

signature -

maxVariableRatio - the maximum ratio (a value between 0 and 1) of variables of the signature appearing in some 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

public PropositionalFormula randomFormula()

Samples a random formula (a disjunction of literals).

Returns:

a random formula (a disjunction of literals).