DeductiveKnowledgeBase

java.lang.Object
- org.tweetyproject.commons.BeliefSet<PlFormula,PlSignature>
- - org.tweetyproject.logics.pl.syntax.PlBeliefSet
  - - org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.logics.pl.syntax.PlBeliefSet
getCanonicalOrdering, getMinimalSignature, getSyntaxComponents, toCnf

Methods inherited from class org.tweetyproject.commons.BeliefSet
add, add, addAll, clear, contains, containsAll, equals, getSignature, hashCode, isEmpty, iterator, remove, removeAll, retainAll, setSignature, size, toArray, toArray, toString, toString

Methods inherited from class java.lang.Object
getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Collection
parallelStream, removeIf, spliterator, stream, toArray

Methods inherited from interface java.lang.Iterable
forEach

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