Class RandomAspicReasoner<T extends Invertable>

    • Field Summary

      Fields 
      Modifier and Type Field Description
      private int maxArguments
      The maximal number of arguments constructed by this reasoner.
      private int maxDuplicates
      The maximal number of duplicates tolerated before this reasoner cancels looking for more arguments (even if maxArguments is not yet reached).
      private java.util.Random rand
      Random number generator
      private SetTools<T> setTools
      For convenience methods on sets.
    • Field Detail

      • rand

        private java.util.Random rand
        Random number generator
      • maxArguments

        private int maxArguments
        The maximal number of arguments constructed by this reasoner.
      • maxDuplicates

        private int maxDuplicates
        The maximal number of duplicates tolerated before this reasoner cancels looking for more arguments (even if maxArguments is not yet reached).
    • Constructor Detail

      • RandomAspicReasoner

        public RandomAspicReasoner​(AbstractExtensionReasoner aafReasoner,
                                   int maxArguments,
                                   int maxDuplicates)
        Creates a new instance.
        Parameters:
        aafReasoner - Underlying reasoner for AAFs.
        maxArguments - The maximal number of arguments constructed by this reasoner.
        maxDuplicates - The maximal number of duplicates tolerated before this reasoner cancels looking for more arguments (even if maxArguments is not yet reached).
    • Method Detail

      • sampleArgument

        private AspicArgument<T> sampleArgument​(java.util.Map<T,​java.util.List<InferenceRule<T>>> rules)
        Samples a single ASPIC argument via a random search.
        Parameters:
        rules - some rules
        Returns:
        some ASPIC argument
      • sampleArgument

        private AspicArgument<T> sampleArgument​(java.util.Map<T,​java.util.List<InferenceRule<T>>> rules,
                                                T conclusion,
                                                java.util.Set<T> conclusions)
        Samples a single ASPIC argument for the given conclusion via a random search.
        Parameters:
        rules - some rules
        conclusion - some conclusion
        conclusions - the conclusions accumulated so far (from the top)
        Returns:
        some ASPIC argument
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object