public class CF2Reasoner extends AbstractExtensionReasoner
Constructor and Description |
---|
CF2Reasoner(BeliefBase beliefBase)
Creates a new CF2 reasoner for the given knowledge base using sceptical inference.
|
CF2Reasoner(BeliefBase beliefBase,
int inferenceType)
Creates a new CF2 reasoner for the given knowledge base.
|
Modifier and Type | Method and Description |
---|---|
java.util.Set<Extension> |
computeExtensions()
Computes the extensions this reasoner bases upon.
|
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 }
|
protected PlBeliefSet |
getPropositionalCharacterisationBySemantics(java.util.Map<Argument,Proposition> in,
java.util.Map<Argument,Proposition> out,
java.util.Map<Argument,Proposition> undec)
Returns the semantic-specific propositional characterization of the underlying Dung
theory, see
getPropositionalCharacterisation . |
private java.util.Set<Extension> |
singleAFExtensions(DungTheory theory)
Computes the extensions for the single af case.
|
getExtensions, getInferenceType, getPropositionalCharacterisation, getReasonerForSemantics, query
getKnowledgeBase
public CF2Reasoner(BeliefBase beliefBase, int inferenceType)
beliefBase
- a knowledge base.inferenceType
- The inference type for this reasoner.public CF2Reasoner(BeliefBase beliefBase)
beliefBase
- The knowledge base for this reasoner.private java.util.Set<Extension> singleAFExtensions(DungTheory theory)
theory
- public java.util.Set<Extension> computeExtensions()
AbstractExtensionReasoner
computeExtensions
in class AbstractExtensionReasoner
private java.util.Collection<Argument> getOutparents(DungTheory af, java.util.Collection<Argument> s)
af
- some Dung theorys
- a set of argumentsprotected PlBeliefSet getPropositionalCharacterisationBySemantics(java.util.Map<Argument,Proposition> in, java.util.Map<Argument,Proposition> out, java.util.Map<Argument,Proposition> undec)
AbstractExtensionReasoner
getPropositionalCharacterisation
.getPropositionalCharacterisationBySemantics
in class AbstractExtensionReasoner
in
- propositional variables of in arguments.out
- propositional variables of out arguments.undec
- propositional variables of undec arguments.getPropositionalCharacterisation
.