net.sf.tweety.logics.pcl

Class DefaultMeReasoner

java.lang.Object

net.sf.tweety.commons.Reasoner

net.sf.tweety.logics.pcl.DefaultMeReasoner

public class DefaultMeReasoner
extends net.sf.tweety.commons.Reasoner

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(net.sf.tweety.commons.BeliefBase beliefBase) Creates a new default ME-reasoner for the given knowledge base.
DefaultMeReasoner(net.sf.tweety.commons.BeliefBase beliefBase, net.sf.tweety.commons.Signature signature) Creates a new default ME-reasoner for the given knowledge base.

Method Summary

Modifier and Type	Method and Description
ProbabilityDistribution<net.sf.tweety.logics.pl.semantics.PossibleWorld>	getMeDistribution() Returns the ME-distribution this reasoner bases on.
net.sf.tweety.commons.Answer	query(net.sf.tweety.commons.Formula query)

Methods inherited from class net.sf.tweety.commons.Reasoner

getKnowledgeBase

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.commons.BeliefBase beliefBase)

Creates a new default ME-reasoner for the given knowledge base.

Parameters:

beliefBase - a pcl belief set.

DefaultMeReasoner

public DefaultMeReasoner(net.sf.tweety.commons.BeliefBase beliefBase,
                         net.sf.tweety.commons.Signature signature)

Creates a new default ME-reasoner for the given knowledge base.

Parameters:

beliefBase - a pcl belief set.

signature - another signature (if the probability distribution should be defined on that one (that one should subsume the signature of the belief base)

Method Detail

getMeDistribution

public ProbabilityDistribution<net.sf.tweety.logics.pl.semantics.PossibleWorld> getMeDistribution()

Returns the ME-distribution this reasoner bases on.

Returns:

the ME-distribution this reasoner bases on.

query

public net.sf.tweety.commons.Answer query(net.sf.tweety.commons.Formula query)

Specified by:

query in class net.sf.tweety.commons.Reasoner