Package net.sf.tweety.logics.rpcl.semantics

Class AbstractRpclSemantics

java.lang.Object

net.sf.tweety.logics.rpcl.semantics.AbstractRpclSemantics

All Implemented Interfaces:

RpclSemantics

Direct Known Subclasses:

AggregatingSemantics, AveragingSemantics

public abstract class AbstractRpclSemantics
extends Object
implements RpclSemantics

This class bundles common answering behaviour for relational conditional semantics.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
AbstractRpclSemantics()

Method Summary

Modifier and Type	Method	Description
abstract net.sf.tweety.math.equation.Statement	getSatisfactionStatement(RelationalProbabilisticConditional r, net.sf.tweety.logics.fol.syntax.FolSignature signature, Map<net.sf.tweety.commons.Interpretation<net.sf.tweety.logics.fol.syntax.FolBeliefSet,net.sf.tweety.logics.fol.syntax.FolFormula>,net.sf.tweety.math.term.FloatVariable> worlds2vars)	Returns the mathematical statement corresponding to the satisfaction of the given conditional wrt.
protected net.sf.tweety.math.term.Term	probabilityTerm(net.sf.tweety.logics.fol.syntax.FolFormula f, Map<net.sf.tweety.commons.Interpretation<net.sf.tweety.logics.fol.syntax.FolBeliefSet,net.sf.tweety.logics.fol.syntax.FolFormula>,net.sf.tweety.math.term.FloatVariable> worlds2vars)	Constructs the term expressing the probability of the given formula "f" wrt.
abstract boolean	satisfies(RpclProbabilityDistribution<?> p, RelationalProbabilisticConditional r)	Checks whether the given probability distribution satisfies the given conditional wrt.
protected boolean	satisfiesGroundConditional(RpclProbabilityDistribution<?> p, RelationalProbabilisticConditional groundConditional)	Checks whether the given ground conditional is satisfied by the given distribution wrt.
abstract String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

AbstractRpclSemantics

public AbstractRpclSemantics()

Method Detail

satisfies

public abstract boolean satisfies(RpclProbabilityDistribution<?> p,
                                  RelationalProbabilisticConditional r)

Description copied from interface: RpclSemantics

Checks whether the given probability distribution satisfies the given conditional wrt. this semantics.

Specified by:

satisfies in interface RpclSemantics

Parameters:

p - a probability distribution

r - a relational probability conditional.

Returns:

"true" iff the given distribution satisfies the given conditional.

toString

public abstract String toString()

Specified by:

toString in interface RpclSemantics

Overrides:

toString in class Object

getSatisfactionStatement

public abstract net.sf.tweety.math.equation.Statement getSatisfactionStatement(RelationalProbabilisticConditional r,
                                                                               net.sf.tweety.logics.fol.syntax.FolSignature signature,
                                                                               Map<net.sf.tweety.commons.Interpretation<net.sf.tweety.logics.fol.syntax.FolBeliefSet,net.sf.tweety.logics.fol.syntax.FolFormula>,net.sf.tweety.math.term.FloatVariable> worlds2vars)

Description copied from interface: RpclSemantics

Returns the mathematical statement corresponding to the satisfaction of the given conditional wrt. this semantics and the given signature.

Specified by:

getSatisfactionStatement in interface RpclSemantics

Parameters:

r - a relational probabilistic conditional

signature - a fol signature

worlds2vars - a map mapping the interpretations of the fol to mathematical variables.

Returns:

the mathematical statement corresponding to the satisfaction of the given conditional wrt. this semantics and the given signature.

satisfiesGroundConditional

protected boolean satisfiesGroundConditional(RpclProbabilityDistribution<?> p,
                                             RelationalProbabilisticConditional groundConditional)

Checks whether the given ground conditional is satisfied by the given distribution wrt. this semantics. For every rational semantics this satisfaction relation should coincide with the propositional case.

Parameters:

p - a probability distribution.

groundConditional - a ground conditional

Returns:

"true" iff the given ground conditional is satisfied by the given distribution wrt. this semantics

probabilityTerm

protected net.sf.tweety.math.term.Term probabilityTerm(net.sf.tweety.logics.fol.syntax.FolFormula f,
                                                       Map<net.sf.tweety.commons.Interpretation<net.sf.tweety.logics.fol.syntax.FolBeliefSet,net.sf.tweety.logics.fol.syntax.FolFormula>,net.sf.tweety.math.term.FloatVariable> worlds2vars)

Constructs the term expressing the probability of the given formula "f" wrt. to the variables (describing probabilities) of the reference worlds.

Parameters:

f - a fol formula

worlds2vars - a map mapping reference worlds to variables.

Returns:

the term expressing the probability of the given formula "f".