Class HsSampler

All Implemented Interfaces:
Iterator<PlBeliefSet>, BeliefSetIterator<PlFormula,PlBeliefSet>

public class HsSampler extends BeliefSetSampler<PlFormula,PlBeliefSet>
Generates random propositional belief base with a given inconsistency measure (for the Hs inconsistency measure) and of a given size.
Author:
Matthias Thimm
  • Constructor Details

    • HsSampler

      public HsSampler(PlSignature signature, int incvalue)
      Creates a new sample for the given signature which generates propositional belief sets with the given inconsistency value (wrt. the Hs inconsistency measure)
      Parameters:
      signature - some propositional signature
      incvalue - some inconsistency value.
    • HsSampler

      public HsSampler(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 Hs 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