Package org.tweetyproject.arg.dung.reasoner

Class ExtensionRankingReasoner

java.lang.Object

org.tweetyproject.arg.dung.reasoner.ExtensionRankingReasoner

public class ExtensionRankingReasoner
extends Object

Reasoner using ranking semantics.

Author:

Lars Bengel, Daniel Letkemann

Constructor Summary

Constructors

Constructor	Description
ExtensionRankingReasoner(ExtensionRankingSemantics semantics)	create a reasoner for the given ordering semantics

Method Summary

Modifier and Type	Method	Description
Extension<DungTheory>	getConflicts(Extension<DungTheory> ext, DungTheory theory)	computes the set of conflicts occurring inside ext
Extension<DungTheory>	getDefendedNotIn(Extension<DungTheory> ext, DungTheory theory)	computes the set of arguments outside of ext, which are defended by ext
List<Extension<DungTheory>>	getModel(DungTheory theory)	returns the lowest rank of the "getModels" method
List<List<Extension<DungTheory>>>	getModels(DungTheory theory)	Computes the ranking of all subsets of the given theory.
ExtensionRankingSemantics	getSemantics()	Returns the semantics used by this reasoner.
Extension<DungTheory>	getUnattacked(Extension<DungTheory> ext, DungTheory theory)	computes the set of arguments outside of ext, which are not attacked by ext
Extension<DungTheory>	getUndefended(Extension<DungTheory> ext, DungTheory theory)	computes the set of arguments in ext, which are not defended by ext against outside attackers
boolean	isInstalled()	Indicates that this reasoner is always installed.

Methods inherited from class java.lang.Object

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

Constructor Details

ExtensionRankingReasoner

public ExtensionRankingReasoner(ExtensionRankingSemantics semantics)
                         throws NoSuchMethodException

create a reasoner for the given ordering semantics

Parameters:

semantics - an ordering semantics

Throws:

NoSuchMethodException - if an error occurs

Method Details

getSemantics

public ExtensionRankingSemantics getSemantics()

Returns the semantics used by this reasoner.

Returns:

the semantics used by this reasoner

getModel

public List<Extension<DungTheory>> getModel(DungTheory theory)
                                     throws InvocationTargetException,
IllegalAccessException

returns the lowest rank of the "getModels" method

Parameters:

theory - a dung theory

Returns:

the list of extensions in the best rank

Throws:

InvocationTargetException - should never happen

IllegalAccessException - should never happen

getModels

public List<List<Extension<DungTheory>>> getModels(DungTheory theory)
                                            throws InvocationTargetException,
IllegalAccessException

Computes the ranking of all subsets of the given theory. The ranking is built by comparing extensions lexicographically with the configured base functions.

Parameters:

theory - a dung theory

Returns:

a list representing the ordering of all subsets of the given graph wrt. the ordering semantics

Throws:

InvocationTargetException - should never happen

IllegalAccessException - should never happen

getConflicts

public Extension<DungTheory> getConflicts(Extension<DungTheory> ext,
 DungTheory theory)

computes the set of conflicts occurring inside ext

Parameters:

ext - an extension

theory - a dung theory

Returns:

set of conflict in ext

getUndefended

public Extension<DungTheory> getUndefended(Extension<DungTheory> ext,
 DungTheory theory)

computes the set of arguments in ext, which are not defended by ext against outside attackers

Parameters:

ext - an extension

theory - a dung theory

Returns:

set of arguments in ext which are not defended by ext

getUnattacked

public Extension<DungTheory> getUnattacked(Extension<DungTheory> ext,
 DungTheory theory)

computes the set of arguments outside of ext, which are not attacked by ext

Parameters:

ext - an extension

theory - a dung theory

Returns:

set of arguments in theory \ ext which are not attacked by ext

getDefendedNotIn

public Extension<DungTheory> getDefendedNotIn(Extension<DungTheory> ext,
 DungTheory theory)

computes the set of arguments outside of ext, which are defended by ext

Parameters:

ext - an extension

theory - a dung theory

Returns:

set of arguments in theory \ ext which are defended by ext

isInstalled

public boolean isInstalled()

Indicates that this reasoner is always installed.

Returns:

true