Class HsSampler

    • Constructor Detail

      • 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