Class ExampleFinder


  • public class ExampleFinder
    extends java.lang.Object
    This class can be used to find example dung theories that produce the same set of extensions wrt to one semantics, but different extensions wrt to another semantics
    Author:
    Lars Bengel
    • Method Summary

      Modifier and Type Method Description
      java.util.Map<java.util.Collection<Extension>,​java.util.Map<java.util.Collection<Extension>,​java.util.Collection<DungTheory>>> getExamples​(int minArgs, int maxArgs)
      compute a tree like structure of examples.
      void showExamples​(java.util.Collection<Extension> extensions)
      prints a theory for each set of extensions (of the second semantics) that can occur, given the set of extensions for the first semantics
      void showOverview()
      prints an overview over all found examples
      • Methods inherited from class java.lang.Object

        equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • ExampleFinder

        public ExampleFinder​(Semantics semantics1,
                             Semantics semantics2)
        initialize with two semantics and automatically find reasoners for them (if they exist)
        Parameters:
        semantics1 - a semantics
        semantics2 - a semantics
    • Method Detail

      • getExamples

        public java.util.Map<java.util.Collection<Extension>,​java.util.Map<java.util.Collection<Extension>,​java.util.Collection<DungTheory>>> getExamples​(int minArgs,
                                                                                                                                                                      int maxArgs)
        compute a tree like structure of examples. The first layer is the set of extensions wrt. the first semantics. The second layer are all possibilities of extensions wrt the second semantics that can occur given the extensions of the first semantics
        Parameters:
        minArgs - minimum number of arguments for the theories
        maxArgs - maximum number of arguments for the theories
        Returns:
        a map with examples
      • showOverview

        public void showOverview()
        prints an overview over all found examples
      • showExamples

        public void showExamples​(java.util.Collection<Extension> extensions)
        prints a theory for each set of extensions (of the second semantics) that can occur, given the set of extensions for the first semantics
        Parameters:
        extensions - the set of extensions wrt the first semantics