Package org.tweetyproject.arg.dung.equivalence

Class StrongEquivalence

java.lang.Object

org.tweetyproject.arg.dung.equivalence.StrongEquivalence

All Implemented Interfaces:

Equivalence<DungTheory>

public class StrongEquivalence
extends Object
implements Equivalence<DungTheory>

This class defines 'Strong' equivalence for Argumentation Frameworks wrt. some Semantics, * i.e., two AFs F,G are strongly equivalent if they possess the same set of * Extensions wrt. some Semantics when conjoined with some arbitrary AF H.

Author:

Lars Bengel

See Also:

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

Constructor Summary

Constructors

Constructor	Description
StrongEquivalence(EquivalenceKernel kernel)	Initialize Strong Equivalence with the given kernel
StrongEquivalence(Semantics semantics)	Initializes a Strong Equivalence Instance with a kernel for the given semantics

Method Summary

Modifier and Type	Method	Description
Collection<DungTheory>	getEquivalentTheories(DungTheory baseTheory)	Computes the 'equivalence class' of the given Argumentation Framework, i.e., the set of all argumentation frameworks that are strongly equivalent wrt.
String	getName()	Return the name of this equivalence notion
boolean	isEquivalent(Collection<DungTheory> objects)	Checks whether the specified collection of objects are pairwise equivalent
boolean	isEquivalent(DungTheory theory1, DungTheory theory2)	Checks whether the specified objects are equivalent

Methods inherited from class java.lang.Object

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

Constructor Details

StrongEquivalence

public StrongEquivalence(Semantics semantics)

Initializes a Strong Equivalence Instance with a kernel for the given semantics

Parameters:

semantics - some semantics

StrongEquivalence

public StrongEquivalence(EquivalenceKernel kernel)

Initialize Strong Equivalence with the given kernel

Parameters:

kernel - an equivalence kernel

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 Equivalence

theory2 - an object of type Equivalence

Returns:

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

isEquivalent

public boolean isEquivalent(Collection<DungTheory> objects)

Description copied from interface: Equivalence

Checks whether the specified collection of objects are pairwise equivalent

Specified by:

isEquivalent in interface Equivalence<DungTheory>

Parameters:

objects - A collection of objects of type Equivalence

Returns:

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

getEquivalentTheories

public Collection<DungTheory> getEquivalentTheories(DungTheory baseTheory)

Computes the 'equivalence class' of the given Argumentation Framework, i.e., the set of all argumentation frameworks that are strongly equivalent wrt. the kernel

Parameters:

baseTheory - some argumentation framework

Returns:

the set of equivalent argumentation frameworks

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