Package net.sf.tweety.logics.pcl.reasoner

Class GeneralizedMeReasoner

java.lang.Object

net.sf.tweety.logics.pcl.reasoner.AbstractPclReasoner

net.sf.tweety.logics.pcl.reasoner.GeneralizedMeReasoner

All Implemented Interfaces:

net.sf.tweety.commons.ModelProvider<ProbabilisticConditional,PclBeliefSet,ProbabilityDistribution<net.sf.tweety.logics.pl.semantics.PossibleWorld>>, net.sf.tweety.commons.QuantitativeReasoner<PclBeliefSet,net.sf.tweety.logics.pl.syntax.PlFormula>, net.sf.tweety.commons.Reasoner<Double,PclBeliefSet,net.sf.tweety.logics.pl.syntax.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

Field Summary

Fields

Modifier and Type	Field	Description
static int	EUCLIDEAN
static int	MANHATTAN
static int	MAXIMUM

Constructor Summary

Constructors

Constructor	Description
GeneralizedMeReasoner(int p)	Creates a new generalized ME-reasoner

Method Summary

Modifier and Type	Method	Description
ProbabilityDistribution<net.sf.tweety.logics.pl.semantics.PossibleWorld>	getModel(PclBeliefSet beliefbase)
ProbabilityDistribution<net.sf.tweety.logics.pl.semantics.PossibleWorld>	getModel(PclBeliefSet bs, net.sf.tweety.logics.pl.syntax.PlSignature signature)	Computes the ME-distribution this reasoner bases on.
Collection<ProbabilityDistribution<net.sf.tweety.logics.pl.semantics.PossibleWorld>>	getModels(PclBeliefSet bbase)
Double	query(PclBeliefSet beliefbase, net.sf.tweety.logics.pl.syntax.PlFormula formula)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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

Constructor Detail

GeneralizedMeReasoner

public GeneralizedMeReasoner(int p)

Creates a new generalized ME-reasoner

Parameters:

p - the p-norm used

Method Detail

query

public Double query(PclBeliefSet beliefbase,
                    net.sf.tweety.logics.pl.syntax.PlFormula formula)

Specified by:

query in interface net.sf.tweety.commons.Reasoner<Double,PclBeliefSet,net.sf.tweety.logics.pl.syntax.PlFormula>

Specified by:

query in class AbstractPclReasoner

getModels

public Collection<ProbabilityDistribution<net.sf.tweety.logics.pl.semantics.PossibleWorld>> getModels(PclBeliefSet bbase)

Specified by:

getModels in interface net.sf.tweety.commons.ModelProvider<ProbabilisticConditional,PclBeliefSet,ProbabilityDistribution<net.sf.tweety.logics.pl.semantics.PossibleWorld>>

Specified by:

getModels in class AbstractPclReasoner

getModel

public ProbabilityDistribution<net.sf.tweety.logics.pl.semantics.PossibleWorld> getModel(PclBeliefSet beliefbase)

Specified by:

getModel in interface net.sf.tweety.commons.ModelProvider<ProbabilisticConditional,PclBeliefSet,ProbabilityDistribution<net.sf.tweety.logics.pl.semantics.PossibleWorld>>

Specified by:

getModel in class AbstractPclReasoner

getModel

public ProbabilityDistribution<net.sf.tweety.logics.pl.semantics.PossibleWorld> getModel(PclBeliefSet bs,
                                                                                         net.sf.tweety.logics.pl.syntax.PlSignature signature)

Computes the ME-distribution this reasoner bases on.

Parameters:

bs - the belief set

signature - the signature

Returns:

the ME-distribution this reasoner bases on.