net.sf.tweety.logics.rpcl

Class RpclMeReasoner

java.lang.Object

net.sf.tweety.commons.Reasoner

net.sf.tweety.logics.rpcl.RpclMeReasoner

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

General ME-reasoner for RPCL.

Author:

Matthias Thimm

Field Summary

Fields

Modifier and Type	Field and Description
static int	LIFTED_INFERENCE Integer constant for lifted inference.
static int	STANDARD_INFERENCE Integer constant for standard inference.

Constructor Summary

Constructors

Constructor and Description
RpclMeReasoner(net.sf.tweety.commons.BeliefBase beliefBase, RpclSemantics semantics, net.sf.tweety.logics.fol.syntax.FolSignature signature) Creates a new reasoner for the given knowledge base.
RpclMeReasoner(net.sf.tweety.commons.BeliefBase beliefBase, RpclSemantics semantics, net.sf.tweety.logics.fol.syntax.FolSignature signature, int inferenceType) Creates a new reasoner for the given knowledge base.

Method Summary

Modifier and Type	Method and Description
int	getInferenceType() Returns the inference type of this reasoner, i.e.
net.sf.tweety.logics.pcl.semantics.ProbabilityDistribution<?>	getMeDistribution() Returns the ME-distribution this reasoner bases on.
net.sf.tweety.logics.fol.syntax.FolSignature	getSignature() Returns the signature of this reasoner.
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

STANDARD_INFERENCE

public static final int STANDARD_INFERENCE

Integer constant for standard inference.

See Also:

Constant Field Values

LIFTED_INFERENCE

public static final int LIFTED_INFERENCE

Integer constant for lifted inference.

See Also:

Constant Field Values

Constructor Detail

RpclMeReasoner

public RpclMeReasoner(net.sf.tweety.commons.BeliefBase beliefBase,
                      RpclSemantics semantics,
                      net.sf.tweety.logics.fol.syntax.FolSignature signature,
                      int inferenceType)

Creates a new reasoner for the given knowledge base.

Parameters:

beliefBase - a knowledge base.

semantics - the semantics for this reasoner.

signature - the fol signature for this reasoner.

inferenceType - one of RpclMeReasoner.STANDARD_INFERENCE or RpclMeReasoner.LIFTED_INFERENCE

RpclMeReasoner

public RpclMeReasoner(net.sf.tweety.commons.BeliefBase beliefBase,
                      RpclSemantics semantics,
                      net.sf.tweety.logics.fol.syntax.FolSignature signature)

Creates a new reasoner for the given knowledge base.

Parameters:

beliefBase - a knowledge base.

semantics - the semantics for this reasoner.

signature - the fol signature for this reasoner.

Method Detail

getInferenceType

public int getInferenceType()

Returns the inference type of this reasoner, i.e. one of RpclMeReasoner.STANDARD_INFERENCE or RpclMeReasoner.LIFTED_INFERENCE

Returns:

the inference type of this reasoner.

getMeDistribution

public net.sf.tweety.logics.pcl.semantics.ProbabilityDistribution<?> getMeDistribution()
                                                                                throws net.sf.tweety.math.opt.ProblemInconsistentException

Returns the ME-distribution this reasoner bases on.

Returns:

the ME-distribution this reasoner bases on.

Throws:

net.sf.tweety.math.opt.ProblemInconsistentException

query

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

Specified by:

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

getSignature

public net.sf.tweety.logics.fol.syntax.FolSignature getSignature()

Returns the signature of this reasoner.

Returns:

the signature of this reasoner.