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

Field Summary

Fields

Modifier and Type	Field and Description
private ProbabilityDistribution<PossibleWorld>	meDistribution The ME-distribution this reasoner bases on.
private Signature	signature The signature of the reasoner.

Constructor Summary

Constructors

Constructor and Description
DefaultMeReasoner(BeliefBase beliefBase) Creates a new default ME-reasoner for the given knowledge base.
DefaultMeReasoner(BeliefBase beliefBase, Signature signature) Creates a new default ME-reasoner for the given knowledge base.

Method Summary

Modifier and Type	Method and Description
private ProbabilityDistribution<PossibleWorld>	computeMeDistribution() Computes the ME-distribution this reasoner bases on.
ProbabilityDistribution<PossibleWorld>	getMeDistribution() Returns the ME-distribution this reasoner bases on.
Answer	query(Formula query) This method determines the answer of the given query wrt.

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

Field Detail

meDistribution

private ProbabilityDistribution<PossibleWorld> meDistribution

The ME-distribution this reasoner bases on.

signature

private Signature signature

The signature of the reasoner.

Constructor Detail

DefaultMeReasoner

public DefaultMeReasoner(BeliefBase beliefBase)

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

Parameters:

beliefBase - a pcl belief set.

DefaultMeReasoner

public DefaultMeReasoner(BeliefBase beliefBase,
                         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<PossibleWorld> getMeDistribution()

Returns the ME-distribution this reasoner bases on.

Returns:

the ME-distribution this reasoner bases on.

computeMeDistribution

private ProbabilityDistribution<PossibleWorld> computeMeDistribution()

Computes the ME-distribution this reasoner bases on.

Returns:

the ME-distribution this reasoner bases on.

query

public Answer query(Formula query)

Description copied from class: Reasoner

This method determines the answer of the given query wrt. to the given knowledge base.

Specified by:

query in class Reasoner

Parameters:

query - a query.

Returns:

the answer to the query.