Package net.sf.tweety.logics.rpcl.syntax

Class RpclBeliefSet

java.lang.Object

net.sf.tweety.commons.BeliefSet<RelationalProbabilisticConditional,net.sf.tweety.logics.fol.syntax.FolSignature>

net.sf.tweety.logics.rpcl.syntax.RpclBeliefSet

All Implemented Interfaces:

Iterable<RelationalProbabilisticConditional>, Collection<RelationalProbabilisticConditional>, net.sf.tweety.commons.BeliefBase

public class RpclBeliefSet
extends net.sf.tweety.commons.BeliefSet<RelationalProbabilisticConditional,net.sf.tweety.logics.fol.syntax.FolSignature>

This class models a belief set on relational probabilistic conditional logic, i.e. a set of relational probabilistic conditionals.

Author:

Matthias Thimm

Field Summary

Fields inherited from class net.sf.tweety.commons.BeliefSet

EQUALS_USES_SIGNATURE, signature

Constructor Summary

Constructors

Constructor	Description
RpclBeliefSet()	Creates a new (empty) conditional belief set.
RpclBeliefSet(Collection<? extends RelationalProbabilisticConditional> conditionals)	Creates a new conditional belief set with the given collection of conditionals.

Method Summary

Modifier and Type	Method	Description
boolean	areEquivalent(net.sf.tweety.logics.commons.syntax.Constant a, net.sf.tweety.logics.commons.syntax.Constant b)	Checks whether the two given constants are equivalent wrt.
RpclBeliefSet	exchange(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> a, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> b)	Exchanges every occurence of "a" by "b" and vice versa.
Set<Set<net.sf.tweety.logics.commons.syntax.Constant>>	getEquivalenceClasses()	Determines the equivalence classes of this belief set, i.e.
Set<Set<net.sf.tweety.logics.commons.syntax.Constant>>	getEquivalenceClasses(net.sf.tweety.logics.fol.syntax.FolSignature signature)	Determines the equivalence classes of this belief set wrt.
net.sf.tweety.commons.Signature	getMinimalSignature()
protected net.sf.tweety.logics.fol.syntax.FolSignature	instantiateSignature()

Methods inherited from class net.sf.tweety.commons.BeliefSet

add, addAll, clear, contains, containsAll, equals, getSignature, hashCode, instantiateSet, isEmpty, iterator, remove, removeAll, retainAll, setSignature, size, toArray, toArray, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Collection

parallelStream, removeIf, spliterator, stream, toArray

Methods inherited from interface java.lang.Iterable

forEach

Constructor Detail

RpclBeliefSet

public RpclBeliefSet()

Creates a new (empty) conditional belief set.

RpclBeliefSet

public RpclBeliefSet(Collection<? extends RelationalProbabilisticConditional> conditionals)

Creates a new conditional belief set with the given collection of conditionals.

Parameters:

conditionals - a collection of conditionals.

Method Detail

getEquivalenceClasses

public Set<Set<net.sf.tweety.logics.commons.syntax.Constant>> getEquivalenceClasses(net.sf.tweety.logics.fol.syntax.FolSignature signature)

Determines the equivalence classes of this belief set wrt. the given signature (which must be a super signature of this set's signature), i.e. all sets S of constants such that if one replaces one element of S with another one from S and vice versa the belief set remains the same.

Parameters:

signature - a fol signature (which must be a super signature of this set's signature)

Returns:

a set of sets of constants.

getEquivalenceClasses

public Set<Set<net.sf.tweety.logics.commons.syntax.Constant>> getEquivalenceClasses()

Determines the equivalence classes of this belief set, i.e. all sets S of constants such that if one replaces one element of S with another one from S and vice versa the belief set remains the same.

Returns:

a set of sets of constants.

areEquivalent

public boolean areEquivalent(net.sf.tweety.logics.commons.syntax.Constant a,
                             net.sf.tweety.logics.commons.syntax.Constant b)

Checks whether the two given constants are equivalent wrt. this knowledge base. Two constants are equivalent if replacing each occurence of one constant with the other does not alter the belief set.

Parameters:

a - a constant

b - a constant

Returns:

"true" if both constants are equivalent

exchange

public RpclBeliefSet exchange(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> a,
                              net.sf.tweety.logics.commons.syntax.interfaces.Term<?> b)

Exchanges every occurence of "a" by "b" and vice versa.

Parameters:

a - a term.

b - a term.

Returns:

a belief set with "a" and "b" exchanged.

getMinimalSignature

public net.sf.tweety.commons.Signature getMinimalSignature()

instantiateSignature

protected net.sf.tweety.logics.fol.syntax.FolSignature instantiateSignature()

Specified by:

instantiateSignature in class net.sf.tweety.commons.BeliefSet<RelationalProbabilisticConditional,net.sf.tweety.logics.fol.syntax.FolSignature>