Package net.sf.tweety.arg.aspic.semantics

Class AspicAttack<T extends net.sf.tweety.logics.commons.syntax.interfaces.Invertable>

java.lang.Object

net.sf.tweety.graphs.Edge<T>

net.sf.tweety.graphs.DirectedEdge<net.sf.tweety.arg.dung.syntax.Argument>

net.sf.tweety.arg.dung.syntax.Attack

net.sf.tweety.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:

net.sf.tweety.arg.dung.syntax.DungEntity, net.sf.tweety.commons.Formula

public class AspicAttack<T extends net.sf.tweety.logics.commons.syntax.interfaces.Invertable>
extends net.sf.tweety.arg.dung.syntax.Attack

Author:

Nils Geilen Checks whether an argument defeats another argument

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 net.sf.tweety.logics.commons.syntax.interfaces.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 net.sf.tweety.logics.commons.syntax.interfaces.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 net.sf.tweety.arg.dung.syntax.Attack

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

Methods inherited from class net.sf.tweety.graphs.Edge

getNodeA, getNodeB

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

AspicAttack

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

Creates a new AspicAttack

Parameters:

active - the attacking argument

passive - the attacked argument

Method Detail

determineAttackRelations

public static <T extends net.sf.tweety.logics.commons.syntax.interfaces.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 net.sf.tweety.logics.commons.syntax.interfaces.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 net.sf.tweety.arg.dung.syntax.Attack