Class HsSampler

    • Constructor Summary

      Constructors 
      Constructor Description
      HsSampler​(PlSignature signature, int incvalue)
      Creates a new sample for the given signature which generates propositional belief sets with the given inconsistency value (wrt.
      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.
    • Method Summary

      Modifier and Type Method Description
      private java.util.List<PlFormula> getCanonicalFormulas​(int num, PlSignature sig)
      For a signature {a1,...,an} creates num different canonical and mutually exclusive formulas of the form a1a2a3, a1a2-a3, a1-a2a3, etc.
      PlBeliefSet next()  
      • Methods inherited from class java.lang.Object

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

        forEachRemaining, remove
    • Field Detail

      • incvalue

        private int incvalue
        The inconsistency value of the generated belief sets (wrt. the Hs inconsistency measure).
    • 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
    • Method Detail

      • getCanonicalFormulas

        private java.util.List<PlFormula> getCanonicalFormulas​(int num,
                                                               PlSignature sig)
        For a signature {a1,...,an} creates num different canonical and mutually exclusive formulas of the form a1a2a3, a1a2-a3, a1-a2a3, etc.
        Parameters:
        num - the number of formulas to be generated.
        sig - the signature (guaranteed to be large enough)
        Returns:
        a list of canonical formulas.