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
-
-
Constructor Summary
Constructors Constructor Description ProboReasoner(java.lang.String path_to_exec, Semantics semantics)
Constructs a new instance of ProboReasonerProboReasoner(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 basejava.lang.Boolean
query(DungTheory beliefbase, Argument formula, 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
-
-
-
-
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 solversemantics
- 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 solversemantics
- The semantics to be usedbash
- the shell which should be used to run the solver
-
-
Method Detail
-
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 classAbstractExtensionReasoner
- Parameters:
beliefbase
- an AAFformula
- a single argumentinferenceMode
- 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 interfaceModelProvider<Argument,DungTheory,Extension>
- Specified by:
getModels
in classAbstractExtensionReasoner
- 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 interfaceModelProvider<Argument,DungTheory,Extension>
- Specified by:
getModel
in classAbstractExtensionReasoner
- Parameters:
bbase
- some belief base- Returns:
- a selected model of the belief base.
-
-