net.sf.tweety.arg.dung.prover

Class TweetySolver

java.lang.Object

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

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

net.sf.tweety.arg.dung.prover.TweetySolver

All Implemented Interfaces:

InterfaceSolver

public class TweetySolver
extends AbstractDungSolver

This is an example of a solver based on the "Tweety libraries for logical aspects of artificial intelligence and knowledge representation". Most of the used algorithms naively implement Dung's original semantics.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor and Description
TweetySolver()

Method Summary

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.

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

solve, supportedFormats

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

TweetySolver

public TweetySolver()

Method Detail

versionInfo

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

Returns:

a string containing author and version information of the solver.

supportedProblems

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

Returns:

a collection view on the supported problems of this solver.

translateSemantics

private Semantics translateSemantics(Semantics semantics)

Returns the integer constant from Tweety of the given semantics.

Parameters:

semantics - some semantics

Returns:

the corresponding integer constant from Tweety.

solveDC

public boolean solveDC(Semantics semantics,
                       DungTheory aaf,
                       Argument arg)

Description copied from class: AbstractDungSolver

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)

Specified by:

solveDC in class AbstractDungSolver

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 boolean solveDS(Semantics semantics,
                       DungTheory aaf,
                       Argument arg)

Description copied from class: AbstractDungSolver

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)

Specified by:

solveDS in class AbstractDungSolver

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 boolean solveDE(Semantics semantics,
                       DungTheory aaf,
                       java.util.Collection<Argument> args)

Description copied from class: AbstractDungSolver

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

Specified by:

solveDE in class AbstractDungSolver

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 boolean solveDL(Semantics semantics,
                       DungTheory aaf,
                       Labeling lab)

Description copied from class: AbstractDungSolver

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

Specified by:

solveDL in class AbstractDungSolver

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 boolean solveDX(Semantics semantics,
                       DungTheory aaf)

Description copied from class: AbstractDungSolver

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

Specified by:

solveDX in class AbstractDungSolver

Parameters:

semantics - some semantics

aaf - the abstract argumentation framework

Returns:

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

solveDN

public boolean solveDN(Semantics semantics,
                       DungTheory aaf)

Description copied from class: AbstractDungSolver

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

Specified by:

solveDN in class AbstractDungSolver

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 java.util.Collection<Argument> solveEC(Semantics semantics,
                                              DungTheory aaf)

Description copied from class: AbstractDungSolver

Enumerates all arguments that are credulously inferred.

Specified by:

solveEC in class AbstractDungSolver

Parameters:

semantics - some semantics

aaf - the abstract argumentation framework

Returns:

a collection of all arguments that are credulously inferred

solveES

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

Description copied from class: AbstractDungSolver

Enumerates all arguments that skeptically inferred.

Specified by:

solveES in class AbstractDungSolver

Parameters:

semantics - some semantics

aaf - the abstract argumentation framework

Returns:

a collection of arguments that are credulously inferred

solveEE

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

Description copied from class: AbstractDungSolver

Enumerates all sets for which there is a labeling that labels exactly these arguments as in.

Specified by:

solveEE in class AbstractDungSolver

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.

solveEL

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

Description copied from class: AbstractDungSolver

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

Specified by:

solveEL in class AbstractDungSolver

Parameters:

semantics - some semantics

aaf - the abstract argumentation framework

Returns:

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

solveSE

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

Description copied from class: AbstractDungSolver

Returns one extension wrt. the given semantics.

Specified by:

solveSE in class AbstractDungSolver

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

main

public static void main(java.lang.String[] args)
                 throws java.io.IOException

The main method.

Parameters:

args - command line arguments

Throws:

java.io.IOException