public class SimplePlLogicDeductiveKnowledgebase extends BeliefSet<SimplePlRule>
Constructor and Description |
---|
SimplePlLogicDeductiveKnowledgebase() |
SimplePlLogicDeductiveKnowledgebase(java.util.Collection<SimplePlRule> _kb) |
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.
|
add, addAll, clear, contains, containsAll, equals, hashCode, instantiateSet, isEmpty, iterator, remove, removeAll, retainAll, size, toArray, toArray, toString
public SimplePlLogicDeductiveKnowledgebase()
public SimplePlLogicDeductiveKnowledgebase(java.util.Collection<SimplePlRule> _kb)
public Signature getSignature()
BeliefBase
getSignature
in interface BeliefBase
getSignature
in class BeliefSet<SimplePlRule>
public DungTheory getAF()