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)	compute the ordering over all subsets of theory wrt.
ExtensionRankingSemantics	getSemantics()	get the semantic of OrderingSemanticsReasoner instance
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()

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()

get the semantic of OrderingSemanticsReasoner instance

Returns:

OrderingSemantics enum that was used for creating the 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

compute the ordering over all subsets of theory wrt. to the ordering semantics this is done by making several comparisons (in lexicographic order) of Base Functions applied to Extensions this implies a total order that is sorted and split into ranks in the end. LOWER levels are ranked BETTER (Ascending order) !!!two extensions in one rank are either equally ranked or incomparable. !!!thus an extension placed in a better rank does not necessarily mean it is better than all the extensions in the rank below

Parameters:

theory - a dung theory

Returns:

a list representing the ordering of all subsets of the given graph wrt. the ordering semantics (ascending order)

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()

Returns:

this method always returns true because the solver is native