Class ExampleFinder
- java.lang.Object
-
- org.tweetyproject.arg.dung.learning.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
-
-
Constructor Summary
Constructors Constructor Description ExampleFinder(AbstractExtensionReasoner reasoner1, AbstractExtensionReasoner reasoner2)
initialize with two specific reasonersExampleFinder(Semantics semantics1, Semantics semantics2)
initialize with two semantics and automatically find reasoners for them (if they exist)
-
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 semanticsvoid
showOverview()
prints an overview over all found examples
-
-
-
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 semanticssemantics2
- a semantics
-
ExampleFinder
public ExampleFinder(AbstractExtensionReasoner reasoner1, AbstractExtensionReasoner reasoner2)
initialize with two specific reasoners- Parameters:
reasoner1
- a reasonerreasoner2
- a reasoner
-
-
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 theoriesmaxArgs
- 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
-
-