Package org.tweetyproject.arg.dung.learning

Class ExtendedExampleFinder

java.lang.Object

org.tweetyproject.arg.dung.learning.ExtendedExampleFinder

public class ExtendedExampleFinder
extends java.lang.Object

This class can be used to find example dung theories that produce the same set of extensions wrt to two semantics, but different extensions wrt to another semantics

Author:

Lars Bengel

Constructor Summary

Constructors

Constructor	Description
ExtendedExampleFinder(AbstractExtensionReasoner reasoner1, AbstractExtensionReasoner reasoner2, AbstractExtensionReasoner reasoner3)	initialize with three specific reasoners
ExtendedExampleFinder(Semantics semantics1, Semantics semantics2, Semantics semantics3)	initialize with three 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.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> extensions1, java.util.Collection<Extension> extensions2)	prints a theory for each set of extensions (of the third semantics) that can occur, given the set of extensions for the first and second 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

ExtendedExampleFinder

public ExtendedExampleFinder(Semantics semantics1,
                             Semantics semantics2,
                             Semantics semantics3)

initialize with three semantics and automatically find reasoners for them (if they exist)

Parameters:

semantics1 - a semantics

semantics2 - a semantics

semantics3 - a semantics

ExtendedExampleFinder

public ExtendedExampleFinder(AbstractExtensionReasoner reasoner1,
                             AbstractExtensionReasoner reasoner2,
                             AbstractExtensionReasoner reasoner3)

initialize with three specific reasoners

Parameters:

reasoner1 - a reasoner

reasoner2 - a reasoner

reasoner3 - a reasoner

Method Detail

getExamples

public java.util.Map<java.util.Collection<Extension>,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> extensions1,
                         java.util.Collection<Extension> extensions2)

prints a theory for each set of extensions (of the third semantics) that can occur, given the set of extensions for the first and second semantics

Parameters:

extensions1 - the set of extensions wrt the first semantics

extensions2 - the set of extensions wrt the second semantics