Class 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
    • 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