Package org.tweetyproject.arg.dung.learning

Class NiskanenTheorySynthesizer

java.lang.Object

org.tweetyproject.arg.dung.learning.NiskanenTheorySynthesizer

public class NiskanenTheorySynthesizer
extends Object

Synthesizes argumentation frameworks from positive and negative examples.

Author:

Lars Bengel

Constructor Summary

Constructors

Constructor	Description
NiskanenTheorySynthesizer(Collection<Argument> args, Semantics semantics, String solverLocation)	Creates a new theory synthesizer for the given arguments and semantics.

Method Summary

Modifier and Type	Method	Description
DungTheory	learnExamples(Map<Extension<DungTheory>,Integer> positiveExamples, Map<Extension<DungTheory>,Integer> negativeExamples)	learns an argumentation framework fulfilling as many positive examples as possible while trying to not fulfill any negative examples

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

NiskanenTheorySynthesizer

public NiskanenTheorySynthesizer(Collection<Argument> args,
 Semantics semantics,
 String solverLocation)
                          throws NoSuchMethodException

Creates a new theory synthesizer for the given arguments and semantics.

Parameters:

args - a set of arguments

semantics - a semantics

solverLocation - path to the open wbo solver binary

Throws:

NoSuchMethodException - if the given semantics is not implemented

Method Details

learnExamples

public DungTheory learnExamples(Map<Extension<DungTheory>,Integer> positiveExamples,
 Map<Extension<DungTheory>,Integer> negativeExamples)
                         throws IOException,
InvocationTargetException,
IllegalAccessException

learns an argumentation framework fulfilling as many positive examples as possible while trying to not fulfill any negative examples

Parameters:

positiveExamples - a map of positive examples and their weights

negativeExamples - a map of negative examples and their weights

Returns:

a argumentation framework inferred from the given examples

Throws:

IOException - if an error occurs

InvocationTargetException - if an error occurs

IllegalAccessException - if an error occurs