public class ArgumentationReasoner extends Reasoner
Modifier and Type | Field and Description |
---|---|
private AttackRelation |
attack |
private AttackRelation |
defense |
Constructor and Description |
---|
ArgumentationReasoner(BeliefBase beliefBase,
AttackStrategy attack,
AttackStrategy defence)
Creates a new ArgumentationReasoner for the given belief base and parameterised
by a notion of attack for the opponent and another notion of attack for the defense
|
Modifier and Type | Method and Description |
---|---|
java.util.Set<Argument> |
getDefensibleArguments()
Returns the set of defensible arguments, i.e.
|
java.util.Set<Argument> |
getJustifiedArguments()
Returns the set of x/y-justified arguments using a bottom-up fixpoint calculation
|
java.util.Set<Argument> |
getOverruledArguments()
Returns the set of overruled arguments, i.e.
|
private boolean |
isAcceptable(java.util.Set<Argument> arguments,
java.util.Set<Argument> defendingArguments,
Argument toCheck)
Returns true iff the argument toCheck is x/y-acceptable wrt.
|
boolean |
isDefensible(Argument arg)
An argument is called x/y-defensible if it is neither x/y-justified
nor x/y-overruled.
|
boolean |
isJustified(Argument arg)
An argument is called x/y-justified if it is contained in J_{P,x/y}.
|
boolean |
isOverruled(Argument arg)
An argument is called x/y-overruled, if it is attacked by an
x/y-justified argument.
|
Answer |
query(Formula query)
This method determines the answer of the given query
wrt.
|
getKnowledgeBase
private AttackRelation attack
private AttackRelation defense
public ArgumentationReasoner(BeliefBase beliefBase, AttackStrategy attack, AttackStrategy defence)
beliefBase
- attack
- defence
- public Answer query(Formula query)
Reasoner
public boolean isOverruled(Argument arg)
arg
- an argumentpublic boolean isJustified(Argument arg)
arg
- an argumentpublic boolean isDefensible(Argument arg)
arg
- an argumentpublic java.util.Set<Argument> getJustifiedArguments()
public java.util.Set<Argument> getOverruledArguments()
public java.util.Set<Argument> getDefensibleArguments()
private boolean isAcceptable(java.util.Set<Argument> arguments, java.util.Set<Argument> defendingArguments, Argument toCheck)
arguments
- defendingArguments
- toCheck
-