public class LiteralReasoner extends ArgumentationReasoner
Constructor and Description |
---|
LiteralReasoner(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(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(DLPLiteral arg)
A literal is called x/y-overruled, iff it is not x/y-justified.
|
Answer |
query(Formula query)
This method determines the answer of the given query
wrt.
|
getDefensibleArguments, getJustifiedArguments, getOverruledArguments, isDefensible, isJustified, isOverruled
getKnowledgeBase
public LiteralReasoner(BeliefBase beliefBase, AttackStrategy attack, AttackStrategy defence)
beliefBase
- attack
- defence
- public Answer query(Formula query)
Reasoner
query
in class ArgumentationReasoner
query
- a query.public boolean isOverruled(DLPLiteral arg)
arg
- a literalpublic boolean isJustified(DLPLiteral arg)
arg
- a literal