net.sf.tweety.logics.pl.util

Class HsSampler

java.lang.Object

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

net.sf.tweety.logics.pl.util.HsSampler

public class HsSampler
extends BeliefBaseSampler<PlBeliefSet>

Generates random propositional belief base with a given inconsistency measure (for the Hs inconsistency measure) and of a given size.

Author:

Matthias Thimm

Field Summary

Fields

Modifier and Type	Field and Description
private int	incvalue The inconsistency value of the generated belief sets (wrt.

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

DEFAULT_MAXIMUM_BELIEFBASE_LENGTH, DEFAULT_MINIMUM_BELIEFBASE_LENGTH

Constructor Summary

Constructors

Constructor and Description
HsSampler(PropositionalSignature signature, int incvalue) Creates a new sample for the given signature which generates propositional belief sets with the given inconsistency value (wrt.

Method Summary

Modifier and Type	Method and Description
private java.util.List<PropositionalFormula>	getCanonicalFormulas(int num, PropositionalSignature sig) For a signature {a1,...,an} creates num different canonical and mutually exclusive formulas of the form a1a2a3, a1a2-a3, a1-a2a3, etc.
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

incvalue

private int incvalue

The inconsistency value of the generated belief sets (wrt. the Hs inconsistency measure).

Constructor Detail

HsSampler

public HsSampler(PropositionalSignature signature,
                 int incvalue)

Creates a new sample for the given signature which generates propositional belief sets with the given inconsistency value (wrt. the Hs inconsistency measure)

Parameters:

signature - some propositional signature

incvalue - some inconsistency value.

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.

getCanonicalFormulas

private java.util.List<PropositionalFormula> getCanonicalFormulas(int num,
                                                                  PropositionalSignature sig)

For a signature {a1,...,an} creates num different canonical and mutually exclusive formulas of the form a1a2a3, a1a2-a3, a1-a2a3, etc.

Parameters:

num - the number of formulas to be generated.

sig - the signature (guaranteed to be large enough)

Returns:

a list of canonical formulas.