public class ConflictFreeReasoner extends AbstractExtensionReasoner
Constructor and Description |
---|
ConflictFreeReasoner(BeliefBase beliefBase)
Creates a new conflict-free reasoner for the given knowledge base using sceptical inference.
|
ConflictFreeReasoner(BeliefBase beliefBase,
int inferenceType)
Creates a new conflict-free reasoner for the given knowledge base.
|
Modifier and Type | Method and Description |
---|---|
java.util.Set<Extension> |
computeExtensions()
Computes the extensions this reasoner bases upon.
|
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 . |
getExtensions, getInferenceType, getPropositionalCharacterisation, getReasonerForSemantics, query
getKnowledgeBase
public ConflictFreeReasoner(BeliefBase beliefBase, int inferenceType)
beliefBase
- a knowledge base.inferenceType
- The inference type for this reasoner.public ConflictFreeReasoner(BeliefBase beliefBase)
beliefBase
- The knowledge base for this reasoner.public java.util.Set<Extension> computeExtensions()
AbstractExtensionReasoner
computeExtensions
in class AbstractExtensionReasoner
protected 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
.