Class SimplePlLogicDeductiveKnowledgebase

  • All Implemented Interfaces:
    java.lang.Iterable<SimplePlRule>, java.util.Collection<SimplePlRule>, BeliefBase

    public class SimplePlLogicDeductiveKnowledgebase
    extends BeliefSet<SimplePlRule,​PlSignature>
    Federico Cerutti ( According to 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.
        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
        the DungTheory built on the simple logic knowledge base following