public class SimpleCF2Reasoner extends AbstractExtensionReasoner
Constructor and Description |
---|
SimpleCF2Reasoner() |
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
|
private java.util.Collection<Argument> |
getOutparents(DungTheory af,
java.util.Collection<Argument> s)
Returns the set { a in A | a nicht in S und a -> S }
|
private java.util.Set<Extension> |
singleAFExtensions(DungTheory theory)
Computes the extensions for the single af case.
|
getSimpleReasonerForSemantics, query, query
public 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
private java.util.Set<Extension> singleAFExtensions(DungTheory theory)
theory
- private java.util.Collection<Argument> getOutparents(DungTheory af, java.util.Collection<Argument> s)
af
- some Dung theorys
- a set of arguments