public class LiteralReasoner extends ArgumentationReasoner
| Constructor and Description |
|---|
LiteralReasoner(net.sf.tweety.commons.BeliefBase beliefBase,
AttackStrategy attack,
AttackStrategy defence)
Creates a new reasoner for reasoning about literals in an
extended logic program given by the beliefBase.
|
| Modifier and Type | Method and Description |
|---|---|
boolean |
isJustified(net.sf.tweety.lp.asp.syntax.DLPLiteral arg)
A literal is called x/y-justified, if a x/y-justified
argument with conclusion arg can be constructed from p.
|
boolean |
isOverruled(net.sf.tweety.lp.asp.syntax.DLPLiteral arg)
A literal is called x/y-overruled, iff it is not x/y-justified.
|
net.sf.tweety.commons.Answer |
query(net.sf.tweety.commons.Formula query) |
getDefensibleArguments, getJustifiedArguments, getOverruledArguments, isDefensible, isJustified, isOverruledpublic LiteralReasoner(net.sf.tweety.commons.BeliefBase beliefBase,
AttackStrategy attack,
AttackStrategy defence)
beliefBase - attack - defence - public net.sf.tweety.commons.Answer query(net.sf.tweety.commons.Formula query)
query in class ArgumentationReasonerpublic boolean isOverruled(net.sf.tweety.lp.asp.syntax.DLPLiteral arg)
arg - a literalpublic boolean isJustified(net.sf.tweety.lp.asp.syntax.DLPLiteral arg)
arg - a literalCopyright © 2018. All rights reserved.