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 Reasoner

General ME-reasoner for RPCL.

Author:

Matthias Thimm

Field Summary

Fields

Modifier and Type	Field and Description
private int	inferenceType Whether this reasoner should use lifted inference for reasoning.
static int	LIFTED_INFERENCE Integer constant for lifted inference.
private static org.slf4j.Logger	log Logger.
private ProbabilityDistribution<?>	meDistribution The ME-distribution for this reasoner.
private RpclSemantics	semantics The semantics used for this reasoner.
private FolSignature	signature The signature for this reasoner.
static int	STANDARD_INFERENCE Integer constant for standard inference.

Constructor Summary

Constructors

Constructor and Description
RpclMeReasoner(BeliefBase beliefBase, RpclSemantics semantics, FolSignature signature) Creates a new reasoner for the given knowledge base.
RpclMeReasoner(BeliefBase beliefBase, RpclSemantics semantics, FolSignature signature, int inferenceType) Creates a new reasoner for the given knowledge base.

Method Summary

Modifier and Type	Method and Description
private ProbabilityDistribution<?>	computeMeDistribution() Computes the ME-distribution for this reasoner's knowledge base.
int	getInferenceType() Returns the inference type of this reasoner, i.e.
ProbabilityDistribution<?>	getMeDistribution() Returns the ME-distribution this reasoner bases on.
FolSignature	getSignature() Returns the signature of this reasoner.
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

log

private static org.slf4j.Logger log

Logger.

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

semantics

private RpclSemantics semantics

The semantics used for this reasoner.

signature

private FolSignature signature

The signature for this reasoner.

meDistribution

private ProbabilityDistribution<?> meDistribution

The ME-distribution for this reasoner.

inferenceType

private int inferenceType

Whether this reasoner should use lifted inference for reasoning.

Constructor Detail

RpclMeReasoner

public RpclMeReasoner(BeliefBase beliefBase,
                      RpclSemantics semantics,
                      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(BeliefBase beliefBase,
                      RpclSemantics semantics,
                      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 ProbabilityDistribution<?> getMeDistribution()
                                             throws ProblemInconsistentException

Returns the ME-distribution this reasoner bases on.

Returns:

the ME-distribution this reasoner bases on.

Throws:

ProblemInconsistentException

computeMeDistribution

private ProbabilityDistribution<?> computeMeDistribution()
                                                  throws ProblemInconsistentException

Computes the ME-distribution for this reasoner's knowledge base.

Returns:

the ME-distribution for this reasoner's knowledge base.

Throws:

ProblemInconsistentException

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.

getSignature

public FolSignature getSignature()

Returns the signature of this reasoner.

Returns:

the signature of this reasoner.