Class DeductiveKnowledgeBase

All Implemented Interfaces:
Iterable<PlFormula>, Collection<PlFormula>, BeliefBase

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

    • DeductiveKnowledgeBase

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

      public DeductiveKnowledgeBase(Collection<? extends PlFormula> formulas)
      Creates a new knowledge base with the given set of formulas.
      formulas - a set of formulas.
  • Method Details

    • getDeductiveArguments

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

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