public class GeneralizedMeReasoner extends Reasoner
Modifier and Type | Field and Description |
---|---|
private double |
accuracy
The numerical accuracy.
|
static int |
EUCLIDEAN |
private BeliefSetInconsistencyMeasure<ProbabilisticConditional> |
inc
The corresponding inconsistency measure.
|
static int |
MANHATTAN |
static int |
MAXIMUM |
private ProbabilityDistribution<PossibleWorld> |
meDistribution
The ME-distribution this reasoner bases on.
|
private RealVectorNorm |
norm
The norm.
|
private Signature |
signature
The signature of the reasoner.
|
Constructor and Description |
---|
GeneralizedMeReasoner(BeliefBase beliefBase,
int p)
Creates a new generalized ME-reasoner for the given knowledge base.
|
GeneralizedMeReasoner(BeliefBase beliefBase,
Signature signature,
int p)
Creates a new generalized ME-reasoner for the given knowledge base.
|
Modifier and Type | Method and Description |
---|---|
private ProbabilityDistribution<PossibleWorld> |
computeMeDistribution()
Computes the ME-distribution this reasoner bases on.
|
ProbabilityDistribution<PossibleWorld> |
getMeDistribution()
Returns the ME-distribution this reasoner bases on.
|
Answer |
query(Formula query)
This method determines the answer of the given query
wrt.
|
getKnowledgeBase
public static final int MANHATTAN
public static final int EUCLIDEAN
public static final int MAXIMUM
private ProbabilityDistribution<PossibleWorld> meDistribution
private Signature signature
private RealVectorNorm norm
private BeliefSetInconsistencyMeasure<ProbabilisticConditional> inc
private double accuracy
public GeneralizedMeReasoner(BeliefBase beliefBase, int p)
beliefBase
- a pcl belief set.p
- determines p-norm for computing minimal violation.solver
- the solver usedpublic GeneralizedMeReasoner(BeliefBase beliefBase, Signature signature, int p)
beliefBase
- a pcl belief set.signature
- another signature (if the probability distribution should be defined
on that one (that one should subsume the signature of the belief base)norm
- the norm used for computing minimal violation.solver
- the solver usedpublic ProbabilityDistribution<PossibleWorld> getMeDistribution()
private ProbabilityDistribution<PossibleWorld> computeMeDistribution()