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

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 and Description
DefaultMeReasoner()

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

Constructor Detail

DefaultMeReasoner

public DefaultMeReasoner()

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.