public class DeductiveKnowledgeBase extends PlBeliefSet
Constructor and Description |
---|
DeductiveKnowledgeBase()
Creates a new (empty) knowledge base.
|
DeductiveKnowledgeBase(java.util.Collection<? extends PropositionalFormula> formulas)
Creates a new knowledge base with the given
set of formulas.
|
Modifier and Type | Method and Description |
---|---|
java.util.Set<DeductiveArgument> |
getDeductiveArguments()
Computes all deductive arguments.
|
java.util.Set<DeductiveArgument> |
getDeductiveArguments(PropositionalFormula claim)
Computes all deductive arguments for the given claim.
|
getSignature, getSyntaxComponents, toCnf
add, addAll, clear, contains, containsAll, equals, hashCode, instantiateSet, isEmpty, iterator, remove, removeAll, retainAll, size, toArray, toArray, toString
public DeductiveKnowledgeBase()
public DeductiveKnowledgeBase(java.util.Collection<? extends PropositionalFormula> formulas)
formulas
- a set of formulas.public java.util.Set<DeductiveArgument> getDeductiveArguments(PropositionalFormula claim)
claim
- a propositional formula.public java.util.Set<DeductiveArgument> getDeductiveArguments()