Class BeliefSetSampler<T extends Formula,​U extends BeliefSet<T,​?>>

  • Type Parameters:
    T - The type of formulas belief sets are made of
    U - The type of belief sets sampled
    All Implemented Interfaces:
    Iterator<U>, BeliefSetIterator<T,​U>

    public abstract class BeliefSetSampler<T extends Formula,​U extends BeliefSet<T,​?>>
    extends Object
    implements BeliefSetIterator<T,​U>
    This abstract class models a random sampler for belief sets. It comprises of a set of sample methods which generates some random belief sets wrt. to a given signature.
    Author:
    Matthias Thimm
    • Field Detail

      • DEFAULT_MAXIMUM_BELIEFBASE_LENGTH

        public static final int DEFAULT_MAXIMUM_BELIEFBASE_LENGTH
        This constant specifies the default maximum length for sampled belief bases. The interpretation of this int depends on the actual type of knowledge representation but should resemble the maximum number of formulas in the belief base;
        See Also:
        Constant Field Values
      • DEFAULT_MINIMUM_BELIEFBASE_LENGTH

        public static final int DEFAULT_MINIMUM_BELIEFBASE_LENGTH
        This constant specifies the default minimum length for sampled belief bases. The interpretation of this int depends on the actual type of knowledge representation but should resemble the minimum number of formulas in the belief base;
        See Also:
        Constant Field Values
    • Constructor Detail

      • BeliefSetSampler

        public BeliefSetSampler​(Signature signature)
        Creates a new belief base sampler for the given signature.
        Parameters:
        signature - a signature.
      • BeliefSetSampler

        public BeliefSetSampler​(Signature signature,
                                int minLength,
                                int maxLength)
        Creates a new belief base sampler for the given signature.
        Parameters:
        signature - a signature.
        minLength - the minimum length of knowledge bases
        maxLength - the maximum length of knowledge bases
    • Method Detail

      • getSamplerSignature

        public Signature getSamplerSignature()
        Returns the signature of this sampler.
        Returns:
        the signature of this sampler.
      • getMinLength

        public int getMinLength()
        Returns the min length of kbs of this sampler.
        Returns:
        the min length of kbs of this sampler.
      • getMaxLength

        public int getMaxLength()
        Returns the max length of kbs of this sampler.
        Returns:
        the max length of kbs of this sampler.