Class ExampleFinder
java.lang.Object
org.tweetyproject.arg.dung.learning.ExampleFinder
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
ConstructorDescriptionExampleFinder
(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 TypeMethodDescriptionMap<Collection<Extension<DungTheory>>,
Map<Collection<Extension<DungTheory>>, Collection<DungTheory>>> getExamples
(int minArgs, int maxArgs) compute a tree like structure of examples.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 semanticsvoid
prints an overview over all found examples
-
Constructor Details
-
ExampleFinder
initialize with two semantics and automatically find reasoners for them (if they exist)- Parameters:
semantics1
- a semanticssemantics2
- a semantics
-
ExampleFinder
initialize with two specific reasoners- Parameters:
reasoner1
- a reasonerreasoner2
- a reasoner
-
-
Method Details
-
getExamples
public Map<Collection<Extension<DungTheory>>,Map<Collection<Extension<DungTheory>>, getExamplesCollection<DungTheory>>> (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
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
-