Package | Description |
---|---|
net.sf.tweety.arg.aspic.reasoner | |
net.sf.tweety.arg.dung.reasoner | |
net.sf.tweety.arg.saf.reasoner |
Modifier and Type | Field and Description |
---|---|
private AbstractExtensionReasoner |
AbstractAspicReasoner.aafReasoner
Underlying reasoner for AAFs.
|
Constructor and Description |
---|
AbstractAspicReasoner(AbstractExtensionReasoner aafReasoner)
Creates a new instance
|
ModuleBasedAspicReasoner(AbstractExtensionReasoner aafReasoner)
Creates a new instance
|
NaiveAspicReasoner(AbstractExtensionReasoner aafReasoner)
Creates a new instance
|
RandomAspicReasoner(AbstractExtensionReasoner aafReasoner,
int maxArguments,
int maxDuplicates)
Creates a new instance.
|
Modifier and Type | Class and Description |
---|---|
class |
AbstractSatExtensionReasoner
Uses a provided SAT solver to solve reasoning problems in AAFs.
|
class |
ProboReasoner
This reasoner makes use of an external executable for solving reasoning problems
in abstract argumentation.
|
class |
SatCompleteReasoner
Uses a SAT solver to determine complete extensions.
|
class |
SatStableReasoner
Uses a SAT solver to determine stable extensions.
|
class |
SimpleAdmissibleReasoner
This reasoner for Dung theories performs inference on the admissible extensions.
|
class |
SimpleCF2Reasoner
This reasoner for Dung theories performs inference on the CF2 extensions.
|
class |
SimpleCompleteReasoner
This reasoner for Dung theories performs inference on the complete extensions.
|
class |
SimpleConflictFreeReasoner
This reasoner for Dung theories performs inference on the conflict-free extensions.
|
class |
SimpleGroundedReasoner
This reasoner for Dung theories performs inference on the grounded extension.
|
class |
SimpleIdealReasoner
This reasoner for Dung theories performs inference on the ideal extension.
|
class |
SimplePreferredReasoner
This reasoner for Dung theories performs inference on the preferred extensions.
|
class |
SimpleSccCompleteReasoner
This reasoner for Dung theories performs inference on the complete extensions.
|
class |
SimpleSemiStableReasoner
This reasoner for Dung theories performs inference on the semi-stable extensions.
|
class |
SimpleStableReasoner
This reasoner for Dung theories performs inference on the stable extensions.
|
class |
SimpleStageReasoner
This reasoner for Dung theories performs inference on the stage extensions.
|
Modifier and Type | Method and Description |
---|---|
static AbstractExtensionReasoner |
AbstractExtensionReasoner.getSimpleReasonerForSemantics(Semantics semantics)
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(AbstractExtensionReasoner reasoner)
Creates a new reasoner
|