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 TypeMethodDescriptionlearnExamples
(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
-
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<DungTheory>, Integer> positiveExamples, Map<Extension<DungTheory>, throws IOException, InvocationTargetException, IllegalAccessExceptionInteger> negativeExamples) 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:
IOException
- if an error occursInvocationTargetException
- if an error occursIllegalAccessException
- if an error occurs
-