Class StrongExpansionGroundedKernel

java.lang.Object

org.tweetyproject.arg.dung.equivalence.kernel.EquivalenceKernel

org.tweetyproject.arg.dung.equivalence.kernel.StrongExpansionGroundedKernel

public class StrongExpansionGroundedKernel
extends EquivalenceKernel

Kernel GK for strong expansion equivalence wrt. grounded semantics

An attack (a,b) is redundant iff: a!=b, (b,b) in R, and ((a,a) in R or (b,a) in R) or (b,b) in R and for all c in A with (b,c) in R: ((a,c) in R or (c,a) in R or (c,c) in R)

Author:

Lars Bengel

Field Summary

Fields inherited from class org.tweetyproject.arg.dung.equivalence.kernel.EquivalenceKernel

ADMISSIBLE, COMPLETE, GROUNDED, SE_ADMISSIBLE, SE_COMPLETE, SE_GROUNDED, STABLE

Constructor Summary

Constructors

Constructor	Description
StrongExpansionGroundedKernel()

Method Summary

Modifier and Type	Method	Description
Collection<Attack>	getRedundantAttacks(DungTheory theory)	Computes the set of redundant attacks, i.e., all attacks that are removed in order to retrieve the kernel of the given AF

Methods inherited from class org.tweetyproject.arg.dung.equivalence.kernel.EquivalenceKernel

getKernel, getStrongEquivalenceKernelForSemantics

Methods inherited from class java.lang.Object

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

Constructor Details

StrongExpansionGroundedKernel

public StrongExpansionGroundedKernel()

Method Details

getRedundantAttacks

public Collection<Attack> getRedundantAttacks(DungTheory theory)

Description copied from class: EquivalenceKernel

Computes the set of redundant attacks, i.e., all attacks that are removed in order to retrieve the kernel of the given AF

Specified by:

getRedundantAttacks in class EquivalenceKernel

Parameters:

theory - a dung theory

Returns:

the set of redundant attacks