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.

Methods inherited from class java.lang.Object

Constructor Detail

LiteralReasoner

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.