net.sf.tweety.logics.pl.util

Class SyntacticEnumeratingPlBeliefSetSampler

java.lang.Object

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

net.sf.tweety.logics.pl.util.SyntacticEnumeratingPlBeliefSetSampler

public class SyntacticEnumeratingPlBeliefSetSampler
extends net.sf.tweety.commons.BeliefBaseSampler<PlBeliefSet>

Generates all syntactic variations of knowledge bases up to a given size.

Author:

Matthias Thimm

Field Summary

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

DEFAULT_MAXIMUM_BELIEFBASE_LENGTH, DEFAULT_MINIMUM_BELIEFBASE_LENGTH

Constructor Summary

Constructors

Constructor and Description
SyntacticEnumeratingPlBeliefSetSampler(net.sf.tweety.commons.Signature signature, int formulaLength, File pathToTmp, boolean deleteTmp) Creates a new sampler.

Method Summary

Modifier and Type	Method and Description
void	generateFormulasOfLength(int length) Generates all formulas of the given length and stores them in "pathToTemp/length/"
PlBeliefSet	randomSample(int minLength, int maxLength)

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

Constructor Detail

SyntacticEnumeratingPlBeliefSetSampler

public SyntacticEnumeratingPlBeliefSetSampler(net.sf.tweety.commons.Signature signature,
                                              int formulaLength,
                                              File pathToTmp,
                                              boolean deleteTmp)

Creates a new sampler.

Parameters:

signature - the signature for formulas of the generated belief set.

formulaLength - the maximal length of each formula (each proposition, negation, conjunction, and disjunction counts one).

pathToTmp - the path to a folder where intermediate results (all formulas up to the required length) are stored

deleteTmp - if "true" then the temporary folder is cleaned after each sample (it is recommended to set this to "false" to speed up sampling)

Method Detail

generateFormulasOfLength

public void generateFormulasOfLength(int length)
                              throws IOException

Generates all formulas of the given length and stores them in "pathToTemp/length/"

Parameters:

length - the length of the formula

Throws:

IOException

randomSample

public PlBeliefSet randomSample(int minLength,
                                int maxLength)

Specified by:

randomSample in class net.sf.tweety.commons.BeliefBaseSampler<PlBeliefSet>