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