public class RpclMeReasoner extends Reasoner
Modifier and Type | Field and Description |
---|---|
private int |
inferenceType
Whether this reasoner should use lifted inference for reasoning.
|
static int |
LIFTED_INFERENCE
Integer constant for lifted inference.
|
private static org.slf4j.Logger |
log
Logger.
|
private ProbabilityDistribution<?> |
meDistribution
The ME-distribution for this reasoner.
|
private RpclSemantics |
semantics
The semantics used for this reasoner.
|
private FolSignature |
signature
The signature for this reasoner.
|
static int |
STANDARD_INFERENCE
Integer constant for standard inference.
|
Constructor and Description |
---|
RpclMeReasoner(BeliefBase beliefBase,
RpclSemantics semantics,
FolSignature signature)
Creates a new reasoner for the given knowledge base.
|
RpclMeReasoner(BeliefBase beliefBase,
RpclSemantics semantics,
FolSignature signature,
int inferenceType)
Creates a new reasoner for the given knowledge base.
|
Modifier and Type | Method and Description |
---|---|
private ProbabilityDistribution<?> |
computeMeDistribution()
Computes the ME-distribution for this reasoner's knowledge base.
|
int |
getInferenceType()
Returns the inference type of this reasoner, i.e.
|
ProbabilityDistribution<?> |
getMeDistribution()
Returns the ME-distribution this reasoner bases on.
|
FolSignature |
getSignature()
Returns the signature of this reasoner.
|
Answer |
query(Formula query)
This method determines the answer of the given query
wrt.
|
getKnowledgeBase
private static org.slf4j.Logger log
public static final int STANDARD_INFERENCE
public static final int LIFTED_INFERENCE
private RpclSemantics semantics
private FolSignature signature
private ProbabilityDistribution<?> meDistribution
private int inferenceType
public RpclMeReasoner(BeliefBase beliefBase, RpclSemantics semantics, FolSignature signature, int inferenceType)
beliefBase
- a knowledge base.semantics
- the semantics for this reasoner.signature
- the fol signature for this reasoner.inferenceType
- one of RpclMeReasoner.STANDARD_INFERENCE or RpclMeReasoner.LIFTED_INFERENCEpublic RpclMeReasoner(BeliefBase beliefBase, RpclSemantics semantics, FolSignature signature)
beliefBase
- a knowledge base.semantics
- the semantics for this reasoner.signature
- the fol signature for this reasoner.public int getInferenceType()
public ProbabilityDistribution<?> getMeDistribution() throws ProblemInconsistentException
ProblemInconsistentException
private ProbabilityDistribution<?> computeMeDistribution() throws ProblemInconsistentException
ProblemInconsistentException
public Answer query(Formula query)
Reasoner
public FolSignature getSignature()