Package org.tweetyproject.logics.rpcl.syntax

Class RpclBeliefSet

java.lang.Object

org.tweetyproject.commons.BeliefSet<RelationalProbabilisticConditional,FolSignature>

org.tweetyproject.logics.rpcl.syntax.RpclBeliefSet

All Implemented Interfaces:

Iterable<RelationalProbabilisticConditional>, Collection<RelationalProbabilisticConditional>, BeliefBase

public class RpclBeliefSet
extends BeliefSet<RelationalProbabilisticConditional,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 org.tweetyproject.commons.BeliefSet

EQUALS_USES_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(Constant a, Constant b)	Checks whether the two given constants are equivalent wrt.
RpclBeliefSet	exchange(Term<?> a, Term<?> b)	Exchanges every occurence of "a" by "b" and vice versa.
Set<Set<Constant>>	getEquivalenceClasses()	Determines the equivalence classes of this belief set, i.e.
Set<Set<Constant>>	getEquivalenceClasses(FolSignature signature)	Determines the equivalence classes of this belief set wrt.
Signature	getMinimalSignature()	Returns the signature of the language of this knowledge base.

Methods inherited from class org.tweetyproject.commons.BeliefSet

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

Methods inherited from class java.lang.Object

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 Details

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 Details

getEquivalenceClasses

public Set<Set<Constant>> getEquivalenceClasses(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<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(Constant a,
 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(Term<?> a,
 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 Signature getMinimalSignature()

Description copied from interface: BeliefBase

Returns the signature of the language of this knowledge base.

Returns:

the signature of the language of this knowledge base.