Class LiteralReasoner

java.lang.Object
org.tweetyproject.arg.lp.reasoner.ArgumentationReasoner
org.tweetyproject.arg.lp.reasoner.LiteralReasoner
All Implemented Interfaces:
QualitativeReasoner<ArgumentationKnowledgeBase,Argument>, Reasoner<Boolean,ArgumentationKnowledgeBase,Argument>

public class LiteralReasoner extends ArgumentationReasoner
This class extends the default argumentation reasoner to the reasoning about literals in the set of arguments constructible from an extended logic program p. A literal l is considered true, also called justified, in p, iff there is a justified argument with conclusion l.
Author:
Sebastian Homann
  • Constructor Details

    • LiteralReasoner

      public LiteralReasoner(AttackStrategy attack, AttackStrategy defence)
      Creates a new reasoner for reasoning about literals in an extended logic program given by the beliefBase. The argumentation framework is parameterised by two notions of attack. See the original ArgumentationReasoner for details.
      Parameters:
      attack - some attack strategy
      defence - some attack strategy
  • Method Details

    • query

      public Boolean query(ArgumentationKnowledgeBase kb, ASPLiteral query)
    • isOverruled

      public boolean isOverruled(ArgumentationKnowledgeBase kb, ASPLiteral arg)
      A literal is called x/y-overruled, iff it is not x/y-justified.
      Parameters:
      kb - a knowledge base
      arg - a literal
      Returns:
      true iff arg is not x/y-overruled
    • isJustified

      public boolean isJustified(ArgumentationKnowledgeBase kb, ASPLiteral arg)
      A literal is called x/y-justified, if a x/y-justified argument with conclusion arg can be constructed from p.
      Parameters:
      kb - a knowledge base
      arg - a literal
      Returns:
      true iff a x/y-justified argument with conclusion arg can be constructed from p