Package | Description |
---|---|
net.sf.tweety.arg.dung | |
net.sf.tweety.arg.saf |
Modifier and Type | Class and Description |
---|---|
class |
AdmissibleReasoner
This reasoner for Dung theories performs inference on the admissible extensions.
|
class |
CF2Reasoner
This reasoner for Dung theories performs inference on the CF2 extensions.
|
class |
CompleteReasoner
This reasoner for Dung theories performs inference on the complete extensions.
|
class |
ConflictFreeReasoner
This reasoner for Dung theories performs inference on the conflict-free extensions.
|
class |
GroundReasoner
This reasoner for Dung theories performs inference on the grounded extension.
|
class |
IdealReasoner
This reasoner for Dung theories performs inference on the ideal extension.
|
class |
PreferredReasoner
This reasoner for Dung theories performs inference on the preferred extensions.
|
class |
SccCompleteReasoner
This reasoner for Dung theories performs inference on the complete extensions.
|
class |
SemiStableReasoner
This reasoner for Dung theories performs inference on the semi-stable extensions.
|
class |
StableReasoner
This reasoner for Dung theories performs inference on the stable extensions.
|
class |
StageReasoner
This reasoner for Dung theories performs inference on the stage extensions.
|
Modifier and Type | Method and Description |
---|---|
static AbstractExtensionReasoner |
AbstractExtensionReasoner.getReasonerForSemantics(BeliefBase beliefBase,
Semantics semantics,
int inferenceType)
Creates a reasoner for the given semantics.
|
Modifier and Type | Field and Description |
---|---|
private AbstractExtensionReasoner |
OutputReasoner.reasoner
The reasoner used for computing the extensions of the induced Dung theory.
|
Constructor and Description |
---|
OutputReasoner(BeliefBase beliefBase,
java.lang.Class<? extends AbstractExtensionReasoner> reasonerClass)
Creates a new reasoner for the given knowledge base.
|