Package org.tweetyproject.arg.dung.equivalence

Class StrongEquivalence

java.lang.Object

org.tweetyproject.arg.dung.equivalence.StrongEquivalence

public class StrongEquivalence
extends java.lang.Object

Models strong equivalence wrt. to a given kernel

Author:

Lars Bengel

Constructor Summary

Constructors

Constructor	Description
StrongEquivalence(EquivalenceKernel kernel)	initialize Equivalence with the given kernel

Method Summary

Modifier and Type	Method	Description
java.util.Collection<DungTheory>	getStronglyEquivalentTheories(DungTheory theory)	compute all strongly equivalent theories for the the given theory i.e.
java.util.Collection<DungTheory>	getStronglyEquivalentTheoriesNaive(DungTheory baseTheory)	compute all strongly equivalent theories for the given theory i.e.
boolean	isStronglyEquivalent(java.util.Collection<DungTheory> theories)	compute whether the given theories are equivalent wrt.
boolean	isStronglyEquivalent(DungTheory theory1, DungTheory theory2)	compute whether the given theories are equivalent wrt.

Methods inherited from class java.lang.Object

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

Constructor Detail

StrongEquivalence

public StrongEquivalence(EquivalenceKernel kernel)

initialize Equivalence with the given kernel

Parameters:

kernel - an equivalence kernel

Method Detail

isStronglyEquivalent

public boolean isStronglyEquivalent(DungTheory theory1,
                                    DungTheory theory2)

compute whether the given theories are equivalent wrt. the kernel

Parameters:

theory1 - a dung theory

theory2 - a dung theory

Returns:

true if both theories are equivalent wrt. to the kernel

isStronglyEquivalent

public boolean isStronglyEquivalent(java.util.Collection<DungTheory> theories)

compute whether the given theories are equivalent wrt. the kernel

Parameters:

theories - a collection of dung theories

Returns:

true if all theories are equivalent wrt. to the kernel

getStronglyEquivalentTheories

public java.util.Collection<DungTheory> getStronglyEquivalentTheories(DungTheory theory)

compute all strongly equivalent theories for the the given theory i.e. get all useless attacks of theory and use them to create other strongly equivalent theories

Parameters:

theory - a dung theory

Returns:

the collection of strongly equivalent theories

getStronglyEquivalentTheoriesNaive

public java.util.Collection<DungTheory> getStronglyEquivalentTheoriesNaive(DungTheory baseTheory)

compute all strongly equivalent theories for the given theory i.e. enumerate all theories and compare to the base theory

Parameters:

baseTheory - a dung theory

Returns:

collection of strongly equivalent theories