Class ProboReasoner
java.lang.Object
org.tweetyproject.arg.dung.reasoner.AbstractDungReasoner
org.tweetyproject.arg.dung.reasoner.AbstractExtensionReasoner
org.tweetyproject.arg.dung.reasoner.ProboReasoner
- All Implemented Interfaces:
ModelProvider<Argument,
,DungTheory, Extension<DungTheory>> PostulateEvaluatable<Argument>
,QualitativeReasoner<DungTheory,
,Argument> Reasoner<Boolean,
DungTheory, Argument>
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
ConstructorDescriptionProboReasoner
(String path_to_exec, Semantics semantics) Constructs a new instance of ProboReasonerProboReasoner
(String path_to_exec, Semantics semantics, Shell bash) Constructs a new instance of ProboReasoner -
Method Summary
Modifier and TypeMethodDescriptiongetModel
(DungTheory bbase) Returns a single (dedicated) model of the given belief base.getModels
(DungTheory bbase) Returns a characterizing model of the given belief baseboolean
the solver is natively installed and is therefore always installedquery
(DungTheory beliefbase, Argument formula, InferenceMode inferenceMode) Queries the given AAF for the given argument using the given inference type.Methods inherited from class org.tweetyproject.arg.dung.reasoner.AbstractExtensionReasoner
getSimpleReasonerForSemantics, query
-
Constructor Details
-
ProboReasoner
Constructs a new instance of ProboReasoner- Parameters:
path_to_exec
- the path to the probo-compliant solversemantics
- The semantics to be used
-
ProboReasoner
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 Details
-
query
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
Description copied from interface:ModelProvider
Returns a characterizing model of the given belief base- Parameters:
bbase
- some belief base- Returns:
- the (selected) models of the belief base
-
getModel
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.- Parameters:
bbase
- some belief base- Returns:
- a selected model of the belief base.
-
isInstalled
public boolean isInstalled()Description copied from class:AbstractExtensionReasoner
the solver is natively installed and is therefore always installed- Specified by:
isInstalled
in interfaceQualitativeReasoner<DungTheory,
Argument> - Overrides:
isInstalled
in classAbstractExtensionReasoner
- Returns:
- if the solver is installed
-