Package net.sf.tweety.arg.dung.reasoner

Class ProboReasoner

java.lang.Object

net.sf.tweety.arg.dung.reasoner.AbstractDungReasoner

net.sf.tweety.arg.dung.reasoner.AbstractExtensionReasoner

net.sf.tweety.arg.dung.reasoner.ProboReasoner

All Implemented Interfaces:

ModelProvider<Argument,DungTheory,Extension>, QualitativeReasoner<DungTheory,Argument>, Reasoner<java.lang.Boolean,DungTheory,Argument>

public class ProboReasoner
extends AbstractExtensionReasoner

This reasoner makes use of an external executable for solving reasoning problems in abstract argumentation. That external executable must implement the probo interface standard for argumentation solvers (see argumentationcompetition.org).

Author:

Matthias Thimm, Nils Geilen

Field Summary

Fields

Modifier and Type	Field	Description
private Shell	bash	Which shell to use.
private java.lang.String	path_to_exec	The path to the executable
private Semantics	semantics	The semantics to be used

Constructor Summary

Constructors

Constructor	Description
ProboReasoner(java.lang.String path_to_exec, Semantics semantics)	Constructs a new instance of ProboReasoner
ProboReasoner(java.lang.String path_to_exec, Semantics semantics, Shell bash)	Constructs a new instance of ProboReasoner

Method Summary

Modifier and Type	Method	Description
Extension	getModel(DungTheory bbase)	Returns a single (dedicated) model of the given belief base.
java.util.Collection<Extension>	getModels(DungTheory bbase)	Returns a characterizing model of the given belief base
java.lang.Boolean	query(DungTheory beliefbase, Argument formula, InferenceMode inferenceMode)	Queries the given AAF for the given argument using the given inference type.
private java.util.Collection<FileFormat>	supportedFormats()	Gives a collection view of the supported formats of this solver, cf.
private java.util.Collection<ProboProblem>	supportedProblems()	Gives a collection view on the supported problems of this solver, cf.

Methods inherited from class net.sf.tweety.arg.dung.reasoner.AbstractExtensionReasoner

getSimpleReasonerForSemantics, query

Methods inherited from class java.lang.Object

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

Field Detail

path_to_exec

private java.lang.String path_to_exec

The path to the executable

bash

private Shell bash

Which shell to use.

semantics

private Semantics semantics

The semantics to be used

Constructor Detail

ProboReasoner

public ProboReasoner(java.lang.String path_to_exec,
                     Semantics semantics)

Constructs a new instance of ProboReasoner

Parameters:

path_to_exec - the path to the probo-compliant solver

semantics - The semantics to be used

ProboReasoner

public ProboReasoner(java.lang.String path_to_exec,
                     Semantics semantics,
                     Shell bash)

Constructs a new instance of ProboReasoner

Parameters:

path_to_exec - the path to the probo-compliant solver

semantics - The semantics to be used

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

Method Detail

supportedFormats

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

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.

Returns:

a collection view of the supported formats of this solver.

supportedProblems

private java.util.Collection<ProboProblem> supportedProblems()

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.

Returns:

a collection view on the supported problems of this solver.

query

public java.lang.Boolean query(DungTheory beliefbase,
                               Argument formula,
                               InferenceMode inferenceMode)

Description copied from class: AbstractExtensionReasoner

Queries the given AAF for the given argument using the given inference type.

Overrides:

query in class AbstractExtensionReasoner

Parameters:

beliefbase - an AAF

formula - a single argument

inferenceMode - either InferenceMode.SKEPTICAL or InferenceMode.CREDULOUS

Returns:

"true" if the argument is accepted

getModels

public java.util.Collection<Extension> getModels(DungTheory bbase)

Description copied from interface: ModelProvider

Returns a characterizing model of the given belief base

Specified by:

getModels in interface ModelProvider<Argument,DungTheory,Extension>

Specified by:

getModels in class AbstractExtensionReasoner

Parameters:

bbase - some belief base

Returns:

the (selected) models of the belief base

getModel

public Extension getModel(DungTheory bbase)

Description copied from interface: ModelProvider

Returns a single (dedicated) model of the given belief base. If the implemented method allows for more than one dedicated model, the selection may be non-deterministic.

Specified by:

getModel in interface ModelProvider<Argument,DungTheory,Extension>

Specified by:

getModel in class AbstractExtensionReasoner

Parameters:

bbase - some belief base

Returns:

a selected model of the belief base.