Class NiskanenTheorySynthesizer
java.lang.Object
org.tweetyproject.arg.dung.learning.NiskanenTheorySynthesizer
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
ConstructorDescriptionNiskanenTheorySynthesizer(Collection<Argument> args, Semantics semantics, String solverLocation)
-
Method Summary
Modifier and TypeMethodDescriptionlearns an argumentation framework fulfilling as many positive examples as possible while trying to not fulfill any negative examples
-
Constructor Details
-
NiskanenTheorySynthesizer
public NiskanenTheorySynthesizer(Collection<Argument> args, Semantics semantics, String solverLocation) throws NoSuchMethodException- Parameters:
args
- a set of argumentssemantics
- a semanticssolverLocation
- path to the open wbo solver binary- Throws:
NoSuchMethodException
- if the given semantics is not implemented
-
-
Method Details
-
learnExamples
public DungTheory learnExamples(Map<Extension,Integer> positiveExamples, Map<Extension,Integer> negativeExamples) throws IOException, InvocationTargetException, IllegalAccessExceptionlearns 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:
IOException
- if an error occursInvocationTargetException
- if an error occursIllegalAccessException
- if an error occurs
-