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 BeliefBaseSampler<PlBeliefSet>

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

Author:

Matthias Thimm

Field Summary

Fields

Modifier and Type	Field and Description
private boolean	deleteTmp if "true" then the temporary folder is cleaned after each sample (it is recommended to set this to "false" to speed up sampling)
private int	formulaLength the maximal length of each formula (each proposition, negation, conjunction, and disjunction counts one).
private boolean	formulasGenerated Whether the formulas have already been generated.
private IncreasingSubsetIterator<java.io.File>	it Used for iterating over all possible kbs
private java.io.File	pathToTmp the path to a folder where intermediate results (all formulas up to the required length) are stored
private int	previousMaxLength
private int	previousMinLength

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

DEFAULT_MAXIMUM_BELIEFBASE_LENGTH, DEFAULT_MINIMUM_BELIEFBASE_LENGTH

Constructor Summary

Constructors

Constructor and Description
SyntacticEnumeratingPlBeliefSetSampler(Signature signature, int formulaLength, java.io.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) 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

formulaLength

private int formulaLength

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

pathToTmp

private java.io.File pathToTmp

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

deleteTmp

private boolean deleteTmp

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

formulasGenerated

private boolean formulasGenerated

Whether the formulas have already been generated.

it

private IncreasingSubsetIterator<java.io.File> it

Used for iterating over all possible kbs

previousMinLength

private int previousMinLength

previousMaxLength

private int previousMaxLength

Constructor Detail

SyntacticEnumeratingPlBeliefSetSampler

public SyntacticEnumeratingPlBeliefSetSampler(Signature signature,
                                              int formulaLength,
                                              java.io.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 java.io.IOException

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

Parameters:

length - the length of the formula

Throws:

java.io.IOException

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.