Package org.tweetyproject.logics.rpcl.semantics

Class AggregatingSemantics

java.lang.Object

org.tweetyproject.logics.rpcl.semantics.AbstractRpclSemantics

org.tweetyproject.logics.rpcl.semantics.AggregatingSemantics

All Implemented Interfaces:

RpclSemantics

public class AggregatingSemantics
extends AbstractRpclSemantics

This class implements aggregating semantics due to [Kern-Isberner, Thimm, KR'2010].

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
AggregatingSemantics()	Default Constructor

Method Summary

Modifier and Type	Method	Description
Statement	getSatisfactionStatement(RelationalProbabilisticConditional r, FolSignature signature, Map<Interpretation<FolBeliefSet,FolFormula>,FloatVariable> worlds2vars)	Returns the mathematical statement corresponding to the satisfaction of the given conditional wrt.
boolean	satisfies(RpclProbabilityDistribution<?> p, RelationalProbabilisticConditional r)	Checks whether the given probability distribution satisfies the given conditional wrt.
String	toString()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

AggregatingSemantics

public AggregatingSemantics()

Default Constructor

Method Details

satisfies

public 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

Specified by:

satisfies in class AbstractRpclSemantics

Parameters:

p - a probability distribution

r - a relational probability conditional.

Returns:

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

getSatisfactionStatement

public Statement getSatisfactionStatement(RelationalProbabilisticConditional r,
 FolSignature signature,
 Map<Interpretation<FolBeliefSet,FolFormula>,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

Specified by:

getSatisfactionStatement in class AbstractRpclSemantics

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.

toString

public String toString()

Specified by:

toString in interface RpclSemantics

Specified by:

toString in class AbstractRpclSemantics