public class LiteralReasoner extends ArgumentationReasoner
attackStrategy, defenceStrategy
Constructor and Description |
---|
LiteralReasoner(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(ArgumentationKnowledgeBase kb,
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(ArgumentationKnowledgeBase kb,
DLPLiteral arg)
A literal is called x/y-overruled, iff it is not x/y-justified.
|
java.lang.Boolean |
query(ArgumentationKnowledgeBase kb,
DLPLiteral query) |
getDefensibleArguments, getJustifiedArguments, getOverruledArguments, isDefensible, isOverruled, query
public LiteralReasoner(AttackStrategy attack, AttackStrategy defence)
beliefBase
- attack
- defence
- public java.lang.Boolean query(ArgumentationKnowledgeBase kb, DLPLiteral query)
public boolean isOverruled(ArgumentationKnowledgeBase kb, DLPLiteral arg)
arg
- a literalpublic boolean isJustified(ArgumentationKnowledgeBase kb, DLPLiteral arg)
arg
- a literal