Modifier and Type | Field and Description |
---|---|
private java.util.Set<Attack> |
T3BeliefState.virtualAttacks
The set of virtual attacks assumed to exist between
virtual and ordinary arguments.
|
Modifier and Type | Method and Description |
---|---|
double |
GroundedGameUtilityFunction.getUtility(DialogueTrace<Argument,Extension> trace,
java.util.Set<Argument> additionalArguments,
java.util.Set<Attack> additionalAttacks) |
abstract double |
UtilityFunction.getUtility(DialogueTrace<S,T> t,
java.util.Set<S> additionalArguments,
java.util.Set<Attack> additionalAttacks)
Gives the utility of the given dialogue trace that
takes the additional arguments and attacks into account.
|
Constructor and Description |
---|
T3BeliefState(Extension knownArguments,
UtilityFunction<Argument,Extension> utilityFunction,
java.util.Set<Argument> virtualArguments,
java.util.Set<Attack> virtualAttacks,
RecognitionFunction rec,
ProbabilityFunction<T3BeliefState> prob)
Creates a new T3-belief-state with the given parameters.
|
Modifier and Type | Class and Description |
---|---|
class |
ABAAttack<T extends Formula> |
Modifier and Type | Class and Description |
---|---|
class |
AspicAttack<T extends Invertable> |
Modifier and Type | Method and Description |
---|---|
java.util.Set<Attack> |
DungTheory.getAttacks()
Returns all attacks of this theory.
|
Modifier and Type | Method and Description |
---|---|
boolean |
DungTheory.add(Attack attack)
Adds the given attack to this dung theory.
|
boolean |
DungTheory.containsAttack(Attack att)
Checks whether this theory contains the given attack.
|
boolean |
DungTheory.remove(Attack attack)
Removes the given attack from this Dung theory.
|
Modifier and Type | Method and Description |
---|---|
boolean |
DungTheory.addAllAttacks(java.util.Collection<? extends Attack> c)
Adds the set of attacks to this Dung theory.
|
Modifier and Type | Field and Description |
---|---|
private java.util.List<Attack> |
EnumeratingDungTheoryGenerator.possibleAttacks
The set of possible attacks.
|
Modifier and Type | Method and Description |
---|---|
private java.util.List<Attack> |
EnumeratingDungTheoryGenerator.generatePossibleAttacks(java.util.Set<Argument> arguments)
Computes all possible attacks.
|
Modifier and Type | Method and Description |
---|---|
private java.util.Set<Attack> |
SubgraphProbabilityFunction.superGraphs(DungTheory g,
DungTheory gp,
DungTheory c)
Computes Super(G,G′,Ci) = {(α,β) ∈ Arcs(G) | (α ∈ Nodes(G′) and β ∈ Nodes(Ci))
or (α ∈ Nodes(Ci) and β ∈ Nodes(G′))
or (α ∈ Nodes(Ci) and β ∈ Nodes(Ci))
|
Modifier and Type | Method and Description |
---|---|
Probability |
SubgraphProbabilityFunction.getEpistemicProbability(Attack att)
Returns the epistemic probability of the given attack, i.e.
|
Modifier and Type | Field and Description |
---|---|
private java.util.Map<Attack,Probability> |
ProbabilisticArgumentationFramework.attackProbabilityAssignment
Probability assignments to attacks (with independence assumption).
|
Modifier and Type | Method and Description |
---|---|
boolean |
ProbabilisticArgumentationFramework.add(Attack att) |
boolean |
ProbabilisticArgumentationFramework.add(Attack att,
Probability p)
Adds the given attack with the given probability
|
Probability |
ProbabilisticArgumentationFramework.getProbability(Attack a)
Returns the probability of the given attack.
|
boolean |
ProbabilisticArgumentationFramework.remove(Attack attack) |