net.sf.tweety.arg.dung.prover

Class AbstractDungSolver

java.lang.Object

net.sf.tweety.arg.dung.prover.AbstractSolver

net.sf.tweety.arg.dung.prover.AbstractDungSolver

All Implemented Interfaces:

InterfaceSolver

Direct Known Subclasses:

TweetySolver

public abstract class AbstractDungSolver
extends AbstractSolver

This class extends 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.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor and Description
AbstractDungSolver()

Method Summary

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.

Methods inherited from class net.sf.tweety.arg.dung.prover.AbstractSolver

execute

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

AbstractDungSolver

public AbstractDungSolver()

Method Detail

versionInfo

public abstract java.lang.String versionInfo()

Description copied from interface: InterfaceSolver

Returns author and version information of the solver as a string.

Specified by:

versionInfo in interface InterfaceSolver

Specified by:

versionInfo in class AbstractSolver

Returns:

a string containing author and version information of the solver.

supportedProblems

public abstract java.util.Collection<Problem> supportedProblems()

Description copied from interface: InterfaceSolver

Gives a collection view on the supported problems of this solver, cf. Problem. For a description of these problems see the handbook for the argumentation competition.

Specified by:

supportedProblems in interface InterfaceSolver

Specified by:

supportedProblems in class AbstractSolver

Returns:

a collection view on the supported problems of this solver.

solveDC

public 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)

Parameters:

semantics - some semantics

aaf - the abstract argumentation framework

arg - some argument

Returns:

"true" iff arg is credulously inferred from aaf wrt. the given semantics.

solveDS

public 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)

Parameters:

semantics - some semantics

aaf - the abstract argumentation framework

arg - some argument

Returns:

"true" iff arg is skeptically inferred from aaf wrt. the given semantics.

solveDE

public 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).

Parameters:

semantics - some semantics

aaf - the abstract argumentation framework

args - a collection of arguments

Returns:

"true" iff there is a labeling with the given in labelled arguments.

solveDL

public abstract boolean solveDL(Semantics semantics,
                                DungTheory aaf,
                                Labeling lab)

Solves the problem of deciding whether the given labeling is a valid labeling wrt. the semantics and returns either "true" (if it is valid) or "false" (it is not valid).

Parameters:

semantics - some semantics

aaf - the abstract argumentation framework

lab - a labeling

Returns:

"true" iff the given labeling is valid wrt. the semantics and framework.

solveDX

public 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).

Parameters:

semantics - some semantics

aaf - the abstract argumentation framework

Returns:

"true" iff there exists a labeling for the given semantics

solveDN

public 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).

Parameters:

semantics - some semantics

aaf - the abstract argumentation framework

Returns:

"true" iff there exists a labeling for the given semantics that labels at least one argument in.

solveEC

public abstract java.util.Collection<Argument> solveEC(Semantics semantics,
                                                       DungTheory aaf)

Enumerates all arguments that are credulously inferred.

Parameters:

semantics - some semantics

aaf - the abstract argumentation framework

Returns:

a collection of all arguments that are credulously inferred

solveES

public abstract java.util.Collection<Argument> solveES(Semantics semantics,
                                                       DungTheory aaf)

Enumerates all arguments that skeptically inferred.

Parameters:

semantics - some semantics

aaf - the abstract argumentation framework

Returns:

a collection of arguments that are credulously inferred

solveEE

public 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.

Parameters:

semantics - some semantics

aaf - the abstract argumentation framework

Returns:

a collection of collections of arguments such that for each collection there is a labeling that labels these arguments as in.

solveSE

public abstract java.util.Collection<Argument> solveSE(Semantics semantics,
                                                       DungTheory aaf)

Returns one extension wrt. the given semantics.

Parameters:

semantics - some semantics

aaf - the abstract argumentation framework

Returns:

a collection of arguments such that there is a labeling that labels these arguments as in. If no such extension exists this method returns "null".

solveEL

public abstract java.util.Collection<Labeling> solveEL(Semantics semantics,
                                                       DungTheory aaf)

Enumerates all labelings for the given semantics of the given framework.

Parameters:

semantics - some semantics

aaf - the abstract argumentation framework

Returns:

a collection of all labeling of the given semantics and framework.

supportedFormats

public java.util.Collection<FileFormat> supportedFormats()

Description copied from interface: InterfaceSolver

Gives a collection view of the supported formats of this solver, cf. FileFormat. For a description of these formats see the handbook for the argumentation competition.

Specified by:

supportedFormats in interface InterfaceSolver

Specified by:

supportedFormats in class AbstractSolver

Returns:

a collection view of the supported formats of this solver.

solve

public java.lang.String solve(Problem problem,
                              java.io.File input,
                              FileFormat format,
                              java.lang.String additionalParameters)
                       throws java.io.IOException,
                              java.lang.IllegalArgumentException

Description copied from interface: InterfaceSolver

Solves the given problem on the given file (represented in the given format) with possibly additional parameters.

Specified by:

solve in interface InterfaceSolver

Specified by:

solve in class AbstractSolver

Parameters:

problem - the problem type to be solved.

input - the input (an abstract argumentation graph)

format - the format of the input file

additionalParameters - additional parameters for the problem (maybe "null" if no further parameters are given)

Returns:

A string representing the solution to the given problem.

Throws:

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.