Class GeneralizedMeReasoner
- java.lang.Object
-
- net.sf.tweety.logics.pcl.reasoner.AbstractPclReasoner
-
- net.sf.tweety.logics.pcl.reasoner.GeneralizedMeReasoner
-
- All Implemented Interfaces:
ModelProvider<ProbabilisticConditional,PclBeliefSet,ProbabilityDistribution<PossibleWorld>>
,QuantitativeReasoner<PclBeliefSet,PlFormula>
,Reasoner<java.lang.Double,PclBeliefSet,PlFormula>
public class GeneralizedMeReasoner extends AbstractPclReasoner
This class implements a generalized maximum entropy reasoner for probabilistic conditional logic as proposed in [Potyka, Thimm, 2014] which also works for inconsistent belief sets. It computes the generalized ME-distribution for the given belief set and answers queries with respect to this ME-distribution.- Author:
- Matthias Thimm
-
-
Constructor Summary
Constructors Constructor Description GeneralizedMeReasoner(int p)
Creates a new generalized ME-reasoner
-
Method Summary
Modifier and Type Method Description ProbabilityDistribution<PossibleWorld>
getModel(PclBeliefSet beliefbase)
Returns a single (dedicated) model of the given belief base.ProbabilityDistribution<PossibleWorld>
getModel(PclBeliefSet bs, PlSignature signature)
Computes the ME-distribution this reasoner bases on.java.util.Collection<ProbabilityDistribution<PossibleWorld>>
getModels(PclBeliefSet bbase)
Returns a characterizing model of the given belief basejava.lang.Double
query(PclBeliefSet beliefbase, PlFormula formula)
Queries the given belief base for the given formula.
-
-
-
Field Detail
-
MANHATTAN
public static final int MANHATTAN
- See Also:
- Constant Field Values
-
EUCLIDEAN
public static final int EUCLIDEAN
- See Also:
- Constant Field Values
-
MAXIMUM
public static final int MAXIMUM
- See Also:
- Constant Field Values
-
-
Method Detail
-
query
public java.lang.Double query(PclBeliefSet beliefbase, PlFormula formula)
Description copied from interface:Reasoner
Queries the given belief base for the given formula.- Specified by:
query
in interfaceReasoner<java.lang.Double,PclBeliefSet,PlFormula>
- Specified by:
query
in classAbstractPclReasoner
- Parameters:
beliefbase
- a belief baseformula
- a formula- Returns:
- the answer to the query
-
getModels
public java.util.Collection<ProbabilityDistribution<PossibleWorld>> getModels(PclBeliefSet bbase)
Description copied from interface:ModelProvider
Returns a characterizing model of the given belief base- Specified by:
getModels
in interfaceModelProvider<ProbabilisticConditional,PclBeliefSet,ProbabilityDistribution<PossibleWorld>>
- Specified by:
getModels
in classAbstractPclReasoner
- Parameters:
bbase
- some belief base- Returns:
- the (selected) models of the belief base
-
getModel
public ProbabilityDistribution<PossibleWorld> getModel(PclBeliefSet beliefbase)
Description copied from interface:ModelProvider
Returns a single (dedicated) model of the given belief base. If the implemented method allows for more than one dedicated model, the selection may be non-deterministic.- Specified by:
getModel
in interfaceModelProvider<ProbabilisticConditional,PclBeliefSet,ProbabilityDistribution<PossibleWorld>>
- Specified by:
getModel
in classAbstractPclReasoner
- Parameters:
beliefbase
- some belief base- Returns:
- a selected model of the belief base.
-
getModel
public ProbabilityDistribution<PossibleWorld> getModel(PclBeliefSet bs, PlSignature signature)
Computes the ME-distribution this reasoner bases on.- Parameters:
bs
- the belief setsignature
- the signature- Returns:
- the ME-distribution this reasoner bases on.
-
-