Package org.tweetyproject.arg.dung.equivalence

Class LocalExpansionEquivalence

java.lang.Object

org.tweetyproject.arg.dung.equivalence.LocalExpansionEquivalence

All Implemented Interfaces:

Equivalence<DungTheory>

public class LocalExpansionEquivalence
extends Object
implements Equivalence<DungTheory>

Defines local expansion equivalence for Dung theories under a given semantics.

Author:

Lars Bengel

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 - the semantics to use

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> 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 Equivalence

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