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

Class DefaultMeReasoner

java.lang.Object

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

net.sf.tweety.logics.pcl.reasoner.DefaultMeReasoner

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 DefaultMeReasoner
extends AbstractPclReasoner

This class implements a maximum entropy reasoner for probabilistic conditional logic. This means, it computes the ME-distribution for the given belief set and answers queries with respect to this ME-distribution.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
DefaultMeReasoner(net.sf.tweety.math.opt.rootFinder.OptimizationRootFinder rootFinder)

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

Constructor Detail

DefaultMeReasoner

public DefaultMeReasoner(net.sf.tweety.math.opt.rootFinder.OptimizationRootFinder rootFinder)

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.