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:

net.sf.tweety.commons.ModelProvider<Argument,DungTheory,Extension>, net.sf.tweety.commons.QualitativeReasoner<DungTheory,Argument>, net.sf.tweety.commons.Reasoner<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

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
Extension	getModel(DungTheory bbase)
Collection<Extension>	getModels(DungTheory bbase)
Boolean	query(DungTheory beliefbase, Argument formula, net.sf.tweety.commons.InferenceMode inferenceMode) Queries the given AAF for the given argument using the given inference type.

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

Constructor Detail

ProboReasoner

public ProboReasoner(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(String path_to_exec,
                     Semantics semantics,
                     net.sf.tweety.commons.util.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

query

public Boolean query(DungTheory beliefbase,
                     Argument formula,
                     net.sf.tweety.commons.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

Returns:

"true" if the argument is accepted

getModels

public Collection<Extension> getModels(DungTheory bbase)

Specified by:

getModels in interface net.sf.tweety.commons.ModelProvider<Argument,DungTheory,Extension>

Specified by:

getModels in class AbstractExtensionReasoner

getModel

public Extension getModel(DungTheory bbase)

Specified by:

getModel in interface net.sf.tweety.commons.ModelProvider<Argument,DungTheory,Extension>

Specified by:

getModel in class AbstractExtensionReasoner