Class LocalExpansionEquivalence

java.lang.Object

org.tweetyproject.arg.dung.equivalence.LocalExpansionEquivalence

All Implemented Interfaces:

Equivalence<DungTheory>

public class LocalExpansionEquivalence
extends Object
implements Equivalence<DungTheory>

This class defines local (expansion) equivalence for argumentation frameworks wrt. some semantics, i.e., two AFs F and G are local expansion equivalent iff they possess the same set of extensions wrt. the semantics under every local expansion

Author:

Lars Bengel

See Also:

• "Emilia Oikarinen and Stefan Woltran. 'Characterizing strong equivalence for argumentation frameworks.' Artificial intelligence 175.14-15 (2011): 1985-2009."

Constructor Summary

Constructors

Constructor	Description
LocalExpansionEquivalence(Semantics semantics)	Initializes a new instance of this equivalence notion

Method Summary

Modifier and Type	Method	Description
String	getName()	Return the name of this equivalence notion
boolean	isEquivalent(Collection<DungTheory> theories)	Checks whether the specified collection of objects are pairwise equivalent
boolean	isEquivalent(DungTheory theory1, DungTheory theory2)	Checks whether the specified objects are equivalent
static boolean	isLocalExpansionEquivalent(DungTheory theory1, DungTheory theory2, Semantics semantics)	Naively checks whether two AFs are local equivalent by comparing the extensions of every local expansion

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

LocalExpansionEquivalence

public LocalExpansionEquivalence(Semantics semantics)

Initializes a new instance of this equivalence notion

Parameters:

semantics - some semantics

Method Details

isEquivalent

public boolean isEquivalent(DungTheory theory1,
 DungTheory theory2)

Description copied from interface: Equivalence

Checks whether the specified objects are equivalent

Specified by:

isEquivalent in interface Equivalence<DungTheory>

Parameters:

theory1 - an object of type T

theory2 - an object of type T

Returns:

true, iff both object are equivalent wrt. this equivalence notion

isEquivalent

public boolean isEquivalent(Collection<DungTheory> theories)

Description copied from interface: Equivalence

Checks whether the specified collection of objects are pairwise equivalent

Specified by:

isEquivalent in interface Equivalence<DungTheory>

Parameters:

theories - A collection of objects of type T

Returns:

true, iff all objects are equivalent wrt. this equivalence notion

getName

public String getName()

Description copied from interface: Equivalence

Return the name of this equivalence notion

Specified by:

getName in interface Equivalence<DungTheory>

Returns:

name of this equivalence notion

isLocalExpansionEquivalent

public static boolean isLocalExpansionEquivalent(DungTheory theory1,
 DungTheory theory2,
 Semantics semantics)

Naively checks whether two AFs are local equivalent by comparing the extensions of every local expansion

Parameters:

theory1 - some argumentation framework

theory2 - some argumentation framework

semantics - some semantics

Returns:

'true' iff both AFs are local equivalent under the given semantics