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>
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 Summary
ConstructorDescriptionLiteralReasoner
(AttackStrategy attack, AttackStrategy defence) Creates a new reasoner for reasoning about literals in an extended logic program given by the beliefBase. -
Method Summary
Modifier and TypeMethodDescriptionboolean
A literal is called x/y-justified, if a x/y-justified argument with conclusion arg can be constructed from p.boolean
A literal is called x/y-overruled, iff it is not x/y-justified.query
(ArgumentationKnowledgeBase kb, ASPLiteral query) Methods inherited from class org.tweetyproject.arg.lp.reasoner.ArgumentationReasoner
getDefensibleArguments, getJustifiedArguments, getOverruledArguments, isDefensible, isInstalled, isOverruled, query
-
Constructor Details
-
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.- Parameters:
attack
- some attack strategydefence
- some attack strategy
-
-
Method Details
-
query
-
isOverruled
A literal is called x/y-overruled, iff it is not x/y-justified.- Parameters:
kb
- a knowledge basearg
- a literal- Returns:
- true iff arg is not x/y-overruled
-
isJustified
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 basearg
- a literal- Returns:
- true iff a x/y-justified argument with conclusion arg can be constructed from p
-