Class NiskanenTheorySynthesizer
- java.lang.Object
-
- org.tweetyproject.arg.dung.learning.NiskanenTheorySynthesizer
-
public class NiskanenTheorySynthesizer extends java.lang.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(java.util.Collection<Argument> args, Semantics semantics, java.lang.String solverLocation)
-
Method Summary
Modifier and Type Method Description DungTheory
learnExamples(java.util.Map<Extension,java.lang.Integer> positiveExamples, java.util.Map<Extension,java.lang.Integer> negativeExamples)
learns an argumentation framework fulfilling as many positive examples as possible while trying to not fulfill any negative examples
-
-
-
Constructor Detail
-
NiskanenTheorySynthesizer
public NiskanenTheorySynthesizer(java.util.Collection<Argument> args, Semantics semantics, java.lang.String solverLocation) throws java.lang.NoSuchMethodException
- Parameters:
args
- a set of argumentssemantics
- a semanticssolverLocation
- path to the open wbo solver binary- Throws:
java.lang.NoSuchMethodException
- if the given semantics is not implemented
-
-
Method Detail
-
learnExamples
public DungTheory learnExamples(java.util.Map<Extension,java.lang.Integer> positiveExamples, java.util.Map<Extension,java.lang.Integer> negativeExamples) throws java.io.IOException, java.lang.reflect.InvocationTargetException, java.lang.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 weightsnegativeExamples
- a map of negative examples and their weights- Returns:
- a argumentation framework inferred from the given examples
- Throws:
java.io.IOException
- if an error occursjava.lang.reflect.InvocationTargetException
- if an error occursjava.lang.IllegalAccessException
- if an error occurs
-
-