Package org.tweetyproject.arg.dung.learning

Class NiskanenTheorySynthesizer

java.lang.Object

org.tweetyproject.arg.dung.learning.NiskanenTheorySynthesizer

public class NiskanenTheorySynthesizer
extends Object

Implementation of the MaxSAT algorithm from: Niskanen, Andreas, Johannes Wallner, and Matti Järvisalo. "Synthesizing argumentation frameworks from examples." Journal of Artificial Intelligence Research 66 (2019)

Author:

Lars Bengel

Constructor Summary

Constructors

Constructor	Description
NiskanenTheorySynthesizer(Collection<Argument> args, Semantics semantics, String solverLocation)

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

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