Package org.tweetyproject.arg.dung.learning

Class ExampleFinder

java.lang.Object
org.tweetyproject.arg.dung.learning.ExampleFinder
public class ExampleFinder extends 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

  • Constructor Details

    • 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

    • ExampleFinder

      public ExampleFinder(AbstractExtensionReasoner reasoner1, AbstractExtensionReasoner reasoner2)
      initialize with two specific reasoners
      Parameters:
      reasoner1 - a reasoner
      reasoner2 - a reasoner

  • Method Details

    • getExamples

      public Map<Collection<Extension<DungTheory>>,Map<Collection<Extension<DungTheory>>,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(Collection<Extension<DungTheory>> 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