Class RpclBeliefSet

    • 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 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.