net.sf.tweety.logics.pl.util

Class ContensionSampler

java.lang.Object

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

net.sf.tweety.logics.pl.util.ContensionSampler

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

Generates random propositional belief base with a given inconsistency measure (for the contension inconsistency measure) and of 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
ContensionSampler(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
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

ContensionSampler

public ContensionSampler(PropositionalSignature signature,
                         int incvalue)

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

Parameters:

signature - some propositional signature

incvalue - some inconsistency value.

Method Detail

randomSample

public PlBeliefSet randomSample(int minLength,
                                int maxLength)

Specified by:

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