Package org.tweetyproject.logics.pl.util

Class MiSampler

java.lang.Object

org.tweetyproject.commons.BeliefSetSampler<PlFormula,PlBeliefSet>

org.tweetyproject.logics.pl.util.MiSampler

All Implemented Interfaces:

Iterator<PlBeliefSet>, BeliefSetIterator<PlFormula,PlBeliefSet>

public class MiSampler
extends BeliefSetSampler<PlFormula,PlBeliefSet>

Generates random propositional belief base with a given inconsistency measure (for the MI inconsistency measure) and of a given size. NOTE: this sampler is quite simple and only generates MIs of size four and is very demanding on the size of the signature.

Author:

Matthias Thimm

Field Summary

Fields inherited from class org.tweetyproject.commons.BeliefSetSampler

DEFAULT_MAXIMUM_BELIEFBASE_LENGTH, DEFAULT_MINIMUM_BELIEFBASE_LENGTH

Constructor Summary

Constructors

Constructor	Description
MiSampler(PlSignature signature, int incvalue)	Creates a new sample for the given signature which generates propositional belief sets with the given inconsistency value (wrt.
MiSampler(PlSignature signature, int incvalue, int minLength, int maxLength)	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	Description
PlBeliefSet	next()

Methods inherited from class org.tweetyproject.commons.BeliefSetSampler

getMaxLength, getMinLength, getSamplerSignature, hasNext

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface java.util.Iterator

forEachRemaining, remove

Constructor Details

MiSampler

public MiSampler(PlSignature signature,
 int incvalue)

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

Parameters:

signature - some propositional signature

incvalue - some inconsistency value.

MiSampler

public MiSampler(PlSignature signature,
 int incvalue,
 int minLength,
 int maxLength)

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

Parameters:

signature - some propositional signature

incvalue - some inconsistency value.

minLength - the minimum length of knowledge bases

maxLength - the maximum length of knowledge bases

Method Details

next

public PlBeliefSet next()

Specified by:

next in interface BeliefSetIterator<PlFormula,PlBeliefSet>

Specified by:

next in interface Iterator<PlBeliefSet>

Specified by:

next in class BeliefSetSampler<PlFormula,PlBeliefSet>