Class DeductiveKnowledgeBase

  • All Implemented Interfaces:
    java.lang.Iterable<PlFormula>, java.util.Collection<PlFormula>, BeliefBase

    public class DeductiveKnowledgeBase
    extends PlBeliefSet
    Instances of this class represent deductive knowledge bases, i.e. sets of propositional formulas.
    Author:
    Matthias Thimm
    • Constructor Detail

      • DeductiveKnowledgeBase

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

        public DeductiveKnowledgeBase​(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

      • getDeductiveArguments

        public java.util.Set<DeductiveArgument> getDeductiveArguments​(PlFormula claim)
        Computes all deductive arguments for the given claim.
        Parameters:
        claim - a propositional formula.
        Returns:
        the set of all deductive arguments for the given claim.
      • getDeductiveArguments

        public java.util.Set<DeductiveArgument> getDeductiveArguments()
        Computes all deductive arguments.
        Returns:
        the set of all deductive arguments.