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 Summary

Constructors

Constructor	Description
ExampleFinder(AbstractExtensionReasoner reasoner1, AbstractExtensionReasoner reasoner2)	initialize with two specific reasoners
ExampleFinder(Semantics semantics1, Semantics semantics2)	initialize with two semantics and automatically find reasoners for them (if they exist)

Method Summary

Modifier and Type	Method	Description
Map<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 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 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