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.PropositionalFormula>, net.sf.tweety.commons.Reasoner<Double,PclBeliefSet,net.sf.tweety.logics.pl.syntax.PropositionalFormula>

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 and Description
static int	EUCLIDEAN
static int	MANHATTAN
static int	MAXIMUM

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and 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.PropositionalSignature 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.PropositionalFormula 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.PropositionalFormula formula)

Specified by:

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

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.PropositionalSignature 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.