SimplePlLogicDeductiveKnowledgebase (Tweety (Deductive Argumentation Library) 1.16 API)

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

All Implemented Interfaces:

Iterable<SimplePlRule>, Collection<SimplePlRule>, net.sf.tweety.commons.BeliefBase
```
public class SimplePlLogicDeductiveKnowledgebase
extends net.sf.tweety.commons.BeliefSet<SimplePlRule,net.sf.tweety.logics.pl.syntax.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, signature

Constructor Summary

Constructors
Constructor Description

SimplePlLogicDeductiveKnowledgebase()

SimplePlLogicDeductiveKnowledgebase(Collection<SimplePlRule> _kb)

Method Summary

Modifier and Type	Method	Description
`net.sf.tweety.arg.dung.syntax.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
`net.sf.tweety.commons.Signature`	`getMinimalSignature()`
`protected net.sf.tweety.logics.pl.syntax.PlSignature`	`instantiateSignature()`

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

Methods inherited from class java.lang.Object
clone, finalize, 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(Collection<SimplePlRule> _kb)
```
- Method Detail
  - getMinimalSignature
```
public net.sf.tweety.commons.Signature getMinimalSignature()
```
  - getAF
```
public net.sf.tweety.arg.dung.syntax.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
  - instantiateSignature
```
protected net.sf.tweety.logics.pl.syntax.PlSignature instantiateSignature()
```
    Specified by:
    
    instantiateSignature in class net.sf.tweety.commons.BeliefSet<SimplePlRule,net.sf.tweety.logics.pl.syntax.PlSignature>