Package net.sf.tweety.logics.rpcl.reasoner

Class RpclMeReasoner

java.lang.Object

net.sf.tweety.logics.rpcl.reasoner.RpclMeReasoner

All Implemented Interfaces:

net.sf.tweety.commons.ModelProvider<RelationalProbabilisticConditional,RpclBeliefSet,RpclProbabilityDistribution<?>>, net.sf.tweety.commons.QuantitativeReasoner<RpclBeliefSet,net.sf.tweety.logics.fol.syntax.FolFormula>, net.sf.tweety.commons.Reasoner<Double,RpclBeliefSet,net.sf.tweety.logics.fol.syntax.FolFormula>

public class RpclMeReasoner
extends Object
implements net.sf.tweety.commons.QuantitativeReasoner<RpclBeliefSet,net.sf.tweety.logics.fol.syntax.FolFormula>, net.sf.tweety.commons.ModelProvider<RelationalProbabilisticConditional,RpclBeliefSet,RpclProbabilityDistribution<?>>

General ME-reasoner for RPCL.

Author:

Matthias Thimm

Field Summary

Fields

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

Constructor Summary

Constructors

Constructor	Description
RpclMeReasoner(RpclSemantics semantics)	Creates a new reasoner.
RpclMeReasoner(RpclSemantics semantics, int inferenceType)	Creates a new reasoner.

Method Summary

Modifier and Type	Method	Description
int	getInferenceType()	Returns the inference type of this reasoner, i.e.
RpclProbabilityDistribution<?>	getModel(RpclBeliefSet bbase)
RpclProbabilityDistribution<?>	getModel(RpclBeliefSet kb, net.sf.tweety.logics.fol.syntax.FolSignature signature)	Determines the ME distribution of the given knowlege base wrt.
Collection<RpclProbabilityDistribution<?>>	getModels(RpclBeliefSet bbase)
Double	query(RpclBeliefSet beliefbase, net.sf.tweety.logics.fol.syntax.FolFormula formula)
Double	query(RpclBeliefSet beliefbase, net.sf.tweety.logics.fol.syntax.FolFormula query, net.sf.tweety.logics.fol.syntax.FolSignature signature)	Queries the knowledge base wrt.

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(RpclSemantics semantics,
                      int inferenceType)

Creates a new reasoner.

Parameters:

semantics - the semantics for this reasoner.

inferenceType - one of RpclMeReasoner.STANDARD_INFERENCE or RpclMeReasoner.LIFTED_INFERENCE

RpclMeReasoner

public RpclMeReasoner(RpclSemantics semantics)

Creates a new reasoner.

Parameters:

semantics - the semantics 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.

query

public Double query(RpclBeliefSet beliefbase,
                    net.sf.tweety.logics.fol.syntax.FolFormula query,
                    net.sf.tweety.logics.fol.syntax.FolSignature signature)

Queries the knowledge base wrt. the given signature.

Parameters:

beliefbase - some knowledge base

query - some query

signature - some signature.

Returns:

the answer to the query

query

public Double query(RpclBeliefSet beliefbase,
                    net.sf.tweety.logics.fol.syntax.FolFormula formula)

Specified by:

query in interface net.sf.tweety.commons.Reasoner<Double,RpclBeliefSet,net.sf.tweety.logics.fol.syntax.FolFormula>

getModels

public Collection<RpclProbabilityDistribution<?>> getModels(RpclBeliefSet bbase)

Specified by:

getModels in interface net.sf.tweety.commons.ModelProvider<RelationalProbabilisticConditional,RpclBeliefSet,RpclProbabilityDistribution<?>>

getModel

public RpclProbabilityDistribution<?> getModel(RpclBeliefSet bbase)

Specified by:

getModel in interface net.sf.tweety.commons.ModelProvider<RelationalProbabilisticConditional,RpclBeliefSet,RpclProbabilityDistribution<?>>

getModel

public RpclProbabilityDistribution<?> getModel(RpclBeliefSet kb,
                                               net.sf.tweety.logics.fol.syntax.FolSignature signature)

Determines the ME distribution of the given knowlege base wrt. the given signature.

Parameters:

kb - an RPCL knowledge base

signature - some signature

Returns:

the ME distribution of the knowledge base