Package net.sf.tweety.logics.rpcl.syntax
Class RpclBeliefSet
- java.lang.Object
-
- net.sf.tweety.commons.BeliefSet<RelationalProbabilisticConditional,FolSignature>
-
- net.sf.tweety.logics.rpcl.syntax.RpclBeliefSet
-
- All Implemented Interfaces:
java.lang.Iterable<RelationalProbabilisticConditional>
,java.util.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 net.sf.tweety.commons.BeliefSet
EQUALS_USES_SIGNATURE
-
-
Constructor Summary
Constructors Constructor Description RpclBeliefSet()
Creates a new (empty) conditional belief set.RpclBeliefSet(java.util.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.java.util.Set<java.util.Set<Constant>>
getEquivalenceClasses()
Determines the equivalence classes of this belief set, i.e.java.util.Set<java.util.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 net.sf.tweety.commons.BeliefSet
add, add, addAll, clear, contains, containsAll, equals, getSignature, hashCode, isEmpty, iterator, remove, removeAll, retainAll, setSignature, size, toArray, toArray, toString
-
-
-
-
Constructor Detail
-
RpclBeliefSet
public RpclBeliefSet()
Creates a new (empty) conditional belief set.
-
RpclBeliefSet
public RpclBeliefSet(java.util.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 java.util.Set<java.util.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 java.util.Set<java.util.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 constantb
- 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.
-
-