public class TweetySolver extends AbstractDungSolver
Constructor and Description |
---|
TweetySolver() |
Modifier and Type | Method and Description |
---|---|
static void |
main(java.lang.String[] args)
The main method.
|
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)
|
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).
|
boolean |
solveDL(Semantics semantics,
DungTheory aaf,
Labeling lab)
Solves the problem of deciding whether the given labeling is a valid labeling wrt.
|
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).
|
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)
|
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).
|
java.util.Collection<Argument> |
solveEC(Semantics semantics,
DungTheory aaf)
Enumerates all arguments that are credulously inferred.
|
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.
|
java.util.Collection<Labeling> |
solveEL(Semantics semantics,
DungTheory aaf)
Enumerates all labelings for the given semantics of the given framework.
|
java.util.Collection<Argument> |
solveES(Semantics semantics,
DungTheory aaf)
Enumerates all arguments that skeptically inferred.
|
java.util.Collection<Argument> |
solveSE(Semantics semantics,
DungTheory aaf)
Returns one extension wrt.
|
java.util.Collection<Problem> |
supportedProblems()
Gives a collection view on the supported problems of this solver, cf.
|
private Semantics |
translateSemantics(Semantics semantics)
Returns the integer constant from Tweety of the given semantics.
|
java.lang.String |
versionInfo()
Returns author and version information of the solver as a string.
|
solve, supportedFormats
execute
public java.lang.String versionInfo()
InterfaceSolver
versionInfo
in interface InterfaceSolver
versionInfo
in class AbstractDungSolver
public 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 AbstractDungSolver
private Semantics translateSemantics(Semantics semantics)
semantics
- some semanticspublic boolean solveDC(Semantics semantics, DungTheory aaf, Argument arg)
AbstractDungSolver
solveDC
in class AbstractDungSolver
semantics
- some semanticsaaf
- the abstract argumentation frameworkarg
- some argumentpublic boolean solveDS(Semantics semantics, DungTheory aaf, Argument arg)
AbstractDungSolver
solveDS
in class AbstractDungSolver
semantics
- some semanticsaaf
- the abstract argumentation frameworkarg
- some argumentpublic boolean solveDE(Semantics semantics, DungTheory aaf, java.util.Collection<Argument> args)
AbstractDungSolver
solveDE
in class AbstractDungSolver
semantics
- some semanticsaaf
- the abstract argumentation frameworkargs
- a collection of argumentspublic boolean solveDL(Semantics semantics, DungTheory aaf, Labeling lab)
AbstractDungSolver
solveDL
in class AbstractDungSolver
semantics
- some semanticsaaf
- the abstract argumentation frameworklab
- a labelingpublic boolean solveDX(Semantics semantics, DungTheory aaf)
AbstractDungSolver
solveDX
in class AbstractDungSolver
semantics
- some semanticsaaf
- the abstract argumentation frameworkpublic boolean solveDN(Semantics semantics, DungTheory aaf)
AbstractDungSolver
solveDN
in class AbstractDungSolver
semantics
- some semanticsaaf
- the abstract argumentation frameworkpublic java.util.Collection<Argument> solveEC(Semantics semantics, DungTheory aaf)
AbstractDungSolver
solveEC
in class AbstractDungSolver
semantics
- some semanticsaaf
- the abstract argumentation frameworkpublic java.util.Collection<Argument> solveES(Semantics semantics, DungTheory aaf)
AbstractDungSolver
solveES
in class AbstractDungSolver
semantics
- some semanticsaaf
- the abstract argumentation frameworkpublic java.util.Collection<java.util.Collection<Argument>> solveEE(Semantics semantics, DungTheory aaf)
AbstractDungSolver
solveEE
in class AbstractDungSolver
semantics
- some semanticsaaf
- the abstract argumentation frameworkpublic java.util.Collection<Labeling> solveEL(Semantics semantics, DungTheory aaf)
AbstractDungSolver
solveEL
in class AbstractDungSolver
semantics
- some semanticsaaf
- the abstract argumentation frameworkpublic java.util.Collection<Argument> solveSE(Semantics semantics, DungTheory aaf)
AbstractDungSolver
solveSE
in class AbstractDungSolver
semantics
- some semanticsaaf
- the abstract argumentation frameworkpublic static void main(java.lang.String[] args) throws java.io.IOException
args
- command line argumentsjava.io.IOException