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

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