Package org.tweetyproject.arg.aspic.semantics

Class AspicAttack<T extends Invertable>

java.lang.Object

org.tweetyproject.graphs.GeneralEdge<T>

org.tweetyproject.graphs.Edge<T>

org.tweetyproject.graphs.DirectedEdge<Argument>

org.tweetyproject.arg.dung.syntax.Attack

org.tweetyproject.arg.aspic.semantics.AspicAttack<T>

Type Parameters:

T - is the type of the language that the ASPIC theory's rules range over

All Implemented Interfaces:

DungEntity, Formula

public class AspicAttack<T extends Invertable>
extends Attack

Checks whether an argument defeats another argument

Author:

Nils Geilen

Constructor Summary

Constructors

Constructor	Description
AspicAttack(AspicArgument<T> active, AspicArgument<T> passive)	Creates a new AspicAttack

Method Summary

Modifier and Type	Method	Description
static <T extends Invertable> Collection<AspicAttack<T>>	determineAttackRelations(Collection<AspicArgument<T>> args, Comparator<AspicArgument<T>> order, RuleFormulaGenerator<T> rfgen)	Checks for defeats in a list of arguments
static <T extends Invertable> boolean	isAttack(AspicArgument<T> active, AspicArgument<T> passive, RuleFormulaGenerator<T> rfgen, Comparator<AspicArgument<T>> order)	Determines whether the attack is successful
String	toString()

Methods inherited from class org.tweetyproject.arg.dung.syntax.Attack

contains, equals, getAttacked, getAttacker, getLdoFormula, getSignature, hashCode, isConflictFree

Methods inherited from class org.tweetyproject.graphs.Edge

getLabel, getNodeA, getNodeB

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Details

AspicAttack

public AspicAttack(AspicArgument<T> active,
 AspicArgument<T> passive)

Creates a new AspicAttack

Parameters:

active - the attacking argument

passive - the attacked argument

Method Details

determineAttackRelations

public static <T extends Invertable>
Collection<AspicAttack<T>> determineAttackRelations(Collection<AspicArgument<T>> args,
 Comparator<AspicArgument<T>> order,
 RuleFormulaGenerator<T> rfgen)

Checks for defeats in a list of arguments

Type Parameters:

T - the type of formula

Parameters:

args - a list of arguments

order - an comparator which should compare the arguments in args

rfgen - a rule formula generator

Returns:

a list of all tuples (a,b) with a, b in args where a defeats b

isAttack

public static <T extends Invertable> boolean isAttack(AspicArgument<T> active,
 AspicArgument<T> passive,
 RuleFormulaGenerator<T> rfgen,
 Comparator<AspicArgument<T>> order)

Determines whether the attack is successful

Type Parameters:

T - the type of formulas

Parameters:

active - the active argument

passive - the passive argument

rfgen - a rule formula generator

order - a comparator

Returns:

true iff the attack is succuessful

toString

public String toString()

Overrides:

toString in class Attack