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