Class MiSampler

  • All Implemented Interfaces:
    java.util.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
    • 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 java.lang.Object

        equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
      • Methods inherited from interface java.util.Iterator

        forEachRemaining, remove
    • Constructor Detail

      • 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