Class SimplePlLogicDeductiveKnowledgebase

java.lang.Object
org.tweetyproject.commons.BeliefSet<SimplePlRule,PlSignature>
org.tweetyproject.arg.deductive.syntax.SimplePlLogicDeductiveKnowledgebase
All Implemented Interfaces:
Iterable<SimplePlRule>, 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
  • Constructor Details

    • SimplePlLogicDeductiveKnowledgebase

      public SimplePlLogicDeductiveKnowledgebase()
    • SimplePlLogicDeductiveKnowledgebase

      public SimplePlLogicDeductiveKnowledgebase(Collection<SimplePlRule> _kb)
  • Method Details

    • 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