net.sf.tweety.arg.dung.prover

Class ProboSolver

java.lang.Object

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

net.sf.tweety.arg.dung.prover.ProboSolver

All Implemented Interfaces:

InterfaceSolver

public class ProboSolver
extends AbstractSolver

Calls an external solver to solver AA problems. Uses utilties which were formerly implemeted in probo

Author:

Nils Geilen

Constructor Summary

Constructors

Constructor and Description
ProboSolver(String path_to_exec, net.sf.tweety.commons.util.Shell bash) Constructs a new instance of ProboSolver

Method Summary

Modifier and Type	Method and Description
Set<Extension>	enumerate(Problem problem, DungTheory aaf, FileFormat format) Solves the given enumeration problem on the given AAF with
boolean	justify(Problem problem, DungTheory aaf, FileFormat format, Argument arg) Solves the given justification problem on the given AAF
String	solve(Problem problem, DungTheory aaf, FileFormat format, String additionalParameters) Solves the given problem on the given AAF with possibly additional parameters.
String	solve(Problem problem, File input, FileFormat format, String additionalParameters) Solves the given problem on the given file (represented in the given format) with possibly additional parameters.
Collection<FileFormat>	supportedFormats() Gives a collection view of the supported formats of this solver, cf.
Collection<Problem>	supportedProblems() Gives a collection view on the supported problems of this solver, cf.
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

ProboSolver

public ProboSolver(String path_to_exec,
                   net.sf.tweety.commons.util.Shell bash)

Constructs a new instance of ProboSolver

Parameters:

path_to_exec - the path to the ICMMA-compliant solver

bash - the shell which should be used to run the solver

Method Detail

versionInfo

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

supportedFormats

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

supportedProblems

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

solve

public String solve(Problem problem,
                    File input,
                    FileFormat format,
                    String additionalParameters)
             throws IOException,
                    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:

IOException - in case of errors in accessing the input file.

IllegalArgumentException - if this solver is not able to solve the given problem or does not understand the format.

solve

public String solve(Problem problem,
                    DungTheory aaf,
                    FileFormat format,
                    String additionalParameters)
             throws IOException,
                    IllegalArgumentException

Solves the given problem on the given AAF with possibly additional parameters.

Parameters:

problem - the problem type to be solved.

aaf - the AAF to be solved

format - the format of the intermediary files

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:

IOException - in case of errors in accessing the input file.

IllegalArgumentException - if this solver is not able to solve the given problem or does not understand the format.

justify

public boolean justify(Problem problem,
                       DungTheory aaf,
                       FileFormat format,
                       Argument arg)
                throws IOException,
                       IllegalArgumentException

Solves the given justification problem on the given AAF

Parameters:

problem - the justification problem type to be solved.

aaf - the AAF to be solved

format - the format of the intermediary files

arg - the argument to be justified

Returns:

true iff arg is justified

Throws:

IOException - in case of errors in accessing the input file.

IllegalArgumentException - if this solver is not able to solve the given problem or does not understand the format.

enumerate

public Set<Extension> enumerate(Problem problem,
                                DungTheory aaf,
                                FileFormat format)
                         throws IOException,
                                IllegalArgumentException

Solves the given enumeration problem on the given AAF with

Parameters:

problem - the justification problem type to be solved.

aaf - the AAF to be solved

format - the format of the intermediary files

Returns:

a set of extensions of aaf under the specified semantics

Throws:

IOException - in case of errors in accessing the input file.

IllegalArgumentException - if this solver is not able to solve the given problem or does not understand the format.