public abstract class AbstractDungSolver extends AbstractSolver
AbstractSolver
further by parsing
abstract argumentation theories (for all formats) into the Tweety
data structures. By extending this class (instead of AbstractSolver
)
one has not to care about file parsing.Constructor and Description |
---|
AbstractDungSolver() |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
solve(Problem problem,
java.io.File input,
FileFormat format,
java.lang.String additionalParameters)
Solves the given problem on the given file (represented in the given format) with possibly
additional parameters.
|
abstract boolean |
solveDC(Semantics semantics,
DungTheory aaf,
Argument arg)
Solves the problem of deciding whether an argument (given as additional parameter) is credulously inferred
and returns either "true" (if it is credulously inferred) or "false" (if it is not credulously inferred)
|
abstract boolean |
solveDE(Semantics semantics,
DungTheory aaf,
java.util.Collection<Argument> args)
Solves the problem of deciding whether there is labeling with the set of arguments
(given as additional parameter) being the exact set of argument that is labeled in and returns either "true" (there is
such a labeling) or "false" (there is no such labeling).
|
abstract boolean |
solveDL(Semantics semantics,
DungTheory aaf,
Labeling lab)
Solves the problem of deciding whether the given labeling is a valid labeling wrt.
|
abstract boolean |
solveDN(Semantics semantics,
DungTheory aaf)
Solves the problem of deciding whether there exists a labeling
which labels at least one argument in and returns out either "true"
(there is such a labeling) or "false" (there is no such labeling).
|
abstract boolean |
solveDS(Semantics semantics,
DungTheory aaf,
Argument arg)
Solves the problem of deciding whether an argument (given as additional parameter) is skeptically inferred
and returns either "true" (if it is skeptically inferred) or "false" (if it is not skeptically inferred)
|
abstract boolean |
solveDX(Semantics semantics,
DungTheory aaf)
Solves the problem of deciding whether there exists a labeling
and returns out either "true" (there is a labeling) or "false" (there is no labeling).
|
abstract java.util.Collection<Argument> |
solveEC(Semantics semantics,
DungTheory aaf)
Enumerates all arguments that are credulously inferred.
|
abstract java.util.Collection<java.util.Collection<Argument>> |
solveEE(Semantics semantics,
DungTheory aaf)
Enumerates all sets for which there is a labeling that labels
exactly these arguments as in.
|
abstract java.util.Collection<Labeling> |
solveEL(Semantics semantics,
DungTheory aaf)
Enumerates all labelings for the given semantics of the given framework.
|
abstract java.util.Collection<Argument> |
solveES(Semantics semantics,
DungTheory aaf)
Enumerates all arguments that skeptically inferred.
|
abstract java.util.Collection<Argument> |
solveSE(Semantics semantics,
DungTheory aaf)
Returns one extension wrt.
|
java.util.Collection<FileFormat> |
supportedFormats()
Gives a collection view of the supported formats of this solver, cf.
|
abstract java.util.Collection<Problem> |
supportedProblems()
Gives a collection view on the supported problems of this solver, cf.
|
abstract java.lang.String |
versionInfo()
Returns author and version information of the solver as a string.
|
execute
public abstract java.lang.String versionInfo()
InterfaceSolver
versionInfo
in interface InterfaceSolver
versionInfo
in class AbstractSolver
public abstract java.util.Collection<Problem> supportedProblems()
InterfaceSolver
Problem
.
For a description of these problems see the handbook for the argumentation competition.supportedProblems
in interface InterfaceSolver
supportedProblems
in class AbstractSolver
public abstract boolean solveDC(Semantics semantics, DungTheory aaf, Argument arg)
semantics
- some semanticsaaf
- the abstract argumentation frameworkarg
- some argumentpublic abstract boolean solveDS(Semantics semantics, DungTheory aaf, Argument arg)
semantics
- some semanticsaaf
- the abstract argumentation frameworkarg
- some argumentpublic abstract boolean solveDE(Semantics semantics, DungTheory aaf, java.util.Collection<Argument> args)
semantics
- some semanticsaaf
- the abstract argumentation frameworkargs
- a collection of argumentspublic abstract boolean solveDL(Semantics semantics, DungTheory aaf, Labeling lab)
semantics
- some semanticsaaf
- the abstract argumentation frameworklab
- a labelingpublic abstract boolean solveDX(Semantics semantics, DungTheory aaf)
semantics
- some semanticsaaf
- the abstract argumentation frameworkpublic abstract boolean solveDN(Semantics semantics, DungTheory aaf)
semantics
- some semanticsaaf
- the abstract argumentation frameworkpublic abstract java.util.Collection<Argument> solveEC(Semantics semantics, DungTheory aaf)
semantics
- some semanticsaaf
- the abstract argumentation frameworkpublic abstract java.util.Collection<Argument> solveES(Semantics semantics, DungTheory aaf)
semantics
- some semanticsaaf
- the abstract argumentation frameworkpublic abstract java.util.Collection<java.util.Collection<Argument>> solveEE(Semantics semantics, DungTheory aaf)
semantics
- some semanticsaaf
- the abstract argumentation frameworkpublic abstract java.util.Collection<Argument> solveSE(Semantics semantics, DungTheory aaf)
semantics
- some semanticsaaf
- the abstract argumentation frameworkpublic abstract java.util.Collection<Labeling> solveEL(Semantics semantics, DungTheory aaf)
semantics
- some semanticsaaf
- the abstract argumentation frameworkpublic java.util.Collection<FileFormat> supportedFormats()
InterfaceSolver
FileFormat
.
For a description of these formats see the handbook for the argumentation competition.supportedFormats
in interface InterfaceSolver
supportedFormats
in class AbstractSolver
public java.lang.String solve(Problem problem, java.io.File input, FileFormat format, java.lang.String additionalParameters) throws java.io.IOException, java.lang.IllegalArgumentException
InterfaceSolver
solve
in interface InterfaceSolver
solve
in class AbstractSolver
problem
- the problem type to be solved.input
- the input (an abstract argumentation graph)format
- the format of the input fileadditionalParameters
- additional parameters for the problem (maybe "null" if no further parameters are given)java.io.IOException
- in case of errors in accessing the input file.java.lang.IllegalArgumentException
- if this solver is not able to solve the given problem or does not understand the format.