Class ContensionSampler

java.lang.Object
org.tweetyproject.commons.BeliefSetSampler<PlFormula,​PlBeliefSet>
org.tweetyproject.logics.pl.util.ContensionSampler
All Implemented Interfaces:
Iterator<PlBeliefSet>, BeliefSetIterator<PlFormula,​PlBeliefSet>

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

    • ContensionSampler

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

      public ContensionSampler(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 contension 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