net.sf.tweety.logics.pcl

Class GeneralizedMeReasoner

java.lang.Object

net.sf.tweety.commons.Reasoner

net.sf.tweety.logics.pcl.GeneralizedMeReasoner

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

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

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(net.sf.tweety.commons.BeliefBase beliefBase,
                             int p)

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

Parameters:

beliefBase - a pcl belief set.

p - determines p-norm for computing minimal violation.

solver - the solver used

GeneralizedMeReasoner

public GeneralizedMeReasoner(net.sf.tweety.commons.BeliefBase beliefBase,
                             net.sf.tweety.commons.Signature signature,
                             int p)

Creates a new generalized 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)

norm - the norm used for computing minimal violation.

solver - the solver used

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