Class PlBeliefSet

    • Constructor Detail

      • PlBeliefSet

        public PlBeliefSet()
        Creates a new (empty) knowledge base.
      • PlBeliefSet

        public PlBeliefSet​(java.util.Collection<? extends PlFormula> formulas)
        Creates a new knowledge base with the given set of formulas.
        Parameters:
        formulas - a set of formulas.
    • Method Detail

      • toCnf

        public Conjunction toCnf()
        This method returns this belief set in conjunctive normal form (CNF). A formula is in CNF iff it is a conjunction of disjunctions and in NNF.
        Returns:
        the formula in CNF.
      • getSyntaxComponents

        public java.util.Collection<PlBeliefSet> getSyntaxComponents()
        Returns the set of syntax components of this belief set, i.e. a partitioning {K1,...,Kn} of K (a disjoint union K1u...uKn=K) such that the signatures of K1,...,Kn are pairwise disjoint.
        Returns:
        the set of syntax components of this belief set
      • getCanonicalOrdering

        public java.util.List<PlFormula> getCanonicalOrdering()
        Force ordering on belief set based on comparison of hash codes.
        Returns:
        list of "canonically" ordered formulas
        See Also:
        PlBeliefSet.PlFormulaHashCodeComparator
      • getMinimalSignature

        public PlSignature 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.