SimplePlLogicDeductiveKnowledgebase

java.lang.Object
- net.sf.tweety.commons.BeliefSet<SimplePlRule,PlSignature>
- - net.sf.tweety.arg.deductive.syntax.SimplePlLogicDeductiveKnowledgebase

All Implemented Interfaces:

java.lang.Iterable<SimplePlRule>, java.util.Collection<SimplePlRule>, BeliefBase
```
public class SimplePlLogicDeductiveKnowledgebase
extends BeliefSet<SimplePlRule,PlSignature>
```
Author:

Federico Cerutti (federico.cerutti@acm.org) According to http://www0.cs.ucl.ac.uk/staff/a.hunter/papers/ac13t.pdf a simple logic knowledge base (propositional version only in this implementation) is a set of literals---in this implementation rules with empty body---and a set of simple rules, @see SimplePlRule

Field Summary
- Fields inherited from class net.sf.tweety.commons.BeliefSet
  EQUALS_USES_SIGNATURE

Constructor Summary

Constructors
Constructor Description

SimplePlLogicDeductiveKnowledgebase()

SimplePlLogicDeductiveKnowledgebase(java.util.Collection<SimplePlRule> _kb)

Method Summary

Modifier and Type	Method	Description
`DungTheory`	`getAF()`	Builds simple logic arguments and attacks among them---simple undercut and simple rebuttal---as described in http://www0.cs.ucl.ac.uk/staff/a.hunter/papers/ac13t.pdf
`Signature`	`getMinimalSignature()`	Returns the signature of the language of this knowledge base.

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

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
  - SimplePlLogicDeductiveKnowledgebase
```
public SimplePlLogicDeductiveKnowledgebase()
```
  - SimplePlLogicDeductiveKnowledgebase
```
public SimplePlLogicDeductiveKnowledgebase(java.util.Collection<SimplePlRule> _kb)
```
- Method Detail
  - getMinimalSignature
```
public Signature getMinimalSignature()
```
    Description copied from interface: BeliefBase
    
    Returns the signature of the language of this knowledge base.
    
    Returns:
    
    the signature of the language of this knowledge base.
  - getAF
```
public DungTheory getAF()
```
    Builds simple logic arguments and attacks among them---simple undercut and simple rebuttal---as described in http://www0.cs.ucl.ac.uk/staff/a.hunter/papers/ac13t.pdf
    
    Returns:
    
    the DungTheory built on the simple logic knowledge base following http://www0.cs.ucl.ac.uk/staff/a.hunter/papers/ac13t.pdf