Class DeductiveKnowledgeBase
- java.lang.Object
-
- net.sf.tweety.commons.BeliefSet<PlFormula,PlSignature>
-
- net.sf.tweety.logics.pl.syntax.PlBeliefSet
-
- net.sf.tweety.arg.deductive.syntax.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
-
-
Field Summary
-
Fields inherited from class net.sf.tweety.commons.BeliefSet
EQUALS_USES_SIGNATURE
-
-
Constructor Summary
Constructors Constructor Description DeductiveKnowledgeBase()
Creates a new (empty) knowledge base.DeductiveKnowledgeBase(java.util.Collection<? extends PlFormula> formulas)
Creates a new knowledge base with the given set of formulas.
-
Method Summary
Modifier and Type Method Description java.util.Set<DeductiveArgument>
getDeductiveArguments()
Computes all deductive arguments.java.util.Set<DeductiveArgument>
getDeductiveArguments(PlFormula claim)
Computes all deductive arguments for the given claim.-
Methods inherited from class net.sf.tweety.logics.pl.syntax.PlBeliefSet
getCanonicalOrdering, getMinimalSignature, getSyntaxComponents, toCnf
-
Methods inherited from class net.sf.tweety.commons.BeliefSet
add, add, addAll, clear, contains, containsAll, equals, getSignature, hashCode, isEmpty, iterator, remove, removeAll, retainAll, setSignature, size, toArray, toArray, toString
-
-
-
-
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.
-
-