public class ProboReasoner extends AbstractExtensionReasoner
Modifier and Type | Field and 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 and 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
|
Modifier and Type | Method and 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,
int inferenceType)
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.
|
getSimpleReasonerForSemantics, query
private java.lang.String path_to_exec
private Shell bash
private Semantics semantics
public ProboReasoner(java.lang.String path_to_exec, Semantics semantics)
path_to_exec
- the path to the probo-compliant solversemantics
- The semantics to be usedpublic ProboReasoner(java.lang.String path_to_exec, Semantics semantics, Shell bash)
path_to_exec
- the path to the probo-compliant solversemantics
- The semantics to be usedbash
- the shell which should be used to run the solverprivate java.util.Collection<FileFormat> supportedFormats()
FileFormat
.
For a description of these formats see the handbook for the argumentation competition.private java.util.Collection<ProboProblem> supportedProblems()
Problem
.
For a description of these problems see the handbook for the argumentation competition.public java.lang.Boolean query(DungTheory beliefbase, Argument formula, int inferenceType)
AbstractExtensionReasoner
query
in class AbstractExtensionReasoner
beliefbase
- an AAFformula
- a single argumentinferenceType
- either Semantics.SCEPTICAL_INFERENCE or Semantics.CREDULOUS_INFERENCEpublic java.util.Collection<Extension> getModels(DungTheory bbase)
ModelProvider
getModels
in interface ModelProvider<Argument,DungTheory,Extension>
getModels
in class AbstractExtensionReasoner
bbase
- some belief basepublic Extension getModel(DungTheory bbase)
ModelProvider
getModel
in interface ModelProvider<Argument,DungTheory,Extension>
getModel
in class AbstractExtensionReasoner