net.sf.tweety.arg.simplelogicdeductive

Class SimplePlLogicDeductiveKnowledgebase

java.lang.Object

net.sf.tweety.commons.BeliefSet<SimplePlRule>

net.sf.tweety.arg.simplelogicdeductive.SimplePlLogicDeductiveKnowledgebase

All Implemented Interfaces:

java.lang.Iterable<SimplePlRule>, java.util.Collection<SimplePlRule>, BeliefBase

public class SimplePlLogicDeductiveKnowledgebase
extends BeliefSet<SimplePlRule>

Author:

Federico Cerutti 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

Constructor Summary

Constructors

Constructor and Description
SimplePlLogicDeductiveKnowledgebase()
SimplePlLogicDeductiveKnowledgebase(java.util.Collection<SimplePlRule> _kb)

Method Summary

Modifier and Type	Method and 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	getSignature() Returns the signature of the language of this knowledge base.

Methods inherited from class net.sf.tweety.commons.BeliefSet

add, addAll, clear, contains, containsAll, equals, hashCode, instantiateSet, isEmpty, iterator, remove, removeAll, retainAll, 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

Methods inherited from interface java.lang.Iterable

forEach

Constructor Detail

SimplePlLogicDeductiveKnowledgebase

public SimplePlLogicDeductiveKnowledgebase()

SimplePlLogicDeductiveKnowledgebase

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

Method Detail

getSignature

public Signature getSignature()

Description copied from interface: BeliefBase

Returns the signature of the language of this knowledge base.

Specified by:

getSignature in interface BeliefBase

Specified by:

getSignature in class BeliefSet<SimplePlRule>

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