net.sf.tweety.arg.dung

Class GrossiModgilRankingReasoner

java.lang.Object

net.sf.tweety.commons.Reasoner

net.sf.tweety.arg.dung.GrossiModgilRankingReasoner

public class GrossiModgilRankingReasoner
extends net.sf.tweety.commons.Reasoner

This class implements the argument ranking approach of [Grossi, Modgil. On the Graded Acceptability of Arguments. IJCAI 2015] The used algorithms are simple brute force search algorithms.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor and Description
GrossiModgilRankingReasoner(DungTheory theory) Creates a new reasoner for the given Dung theory

Method Summary

Modifier and Type	Method and Description
Collection<Extension>	getAllMNCompleteExtensions(int m, int n) Returns all mn-complete extensions.
Collection<Extension>	getAllMNGroundedExtensions(int m, int n) Returns all mn-grounded extensions.
Collection<Extension>	getAllMNPreferredExtensions(int m, int n) Returns all mn-preferred extensions.
Collection<Extension>	getAllMStableExtensions(int m) Returns all m-stable extensions.
ArgumentRanking	getCompleteRanking() Returns the ranking wrt.
Collection<Argument>	gradedDefense(Collection<Argument> args, int m, int n) Implements the graded defense function from Def.
Collection<Argument>	gradedNeutrality(Collection<Argument> args, int m) Implements the graded neutrality function from Def.
boolean	isMConflictFree(Collection<Argument> args, int m) Checks whether the given set of arguments is m-conflict-free, cf.
boolean	isMNAdmissible(Collection<Argument> args, int m, int n) Checks whether the given set of arguments is mn-admissible, cf.
boolean	isMNComplete(Collection<Argument> args, int m, int n) Checks whether the given set of arguments is mn-complete, cf.
boolean	isMNGrounded(Collection<Argument> args, int m, int n) Checks whether the given set of arguments is mn-grounded, cf.
boolean	isMNPreferred(Collection<Argument> args, int m, int n) Checks whether the given set of arguments is mn-preferred, cf.
boolean	isMStable(Collection<Argument> args, int m) Checks whether the given set of arguments is m-stable, cf.
net.sf.tweety.commons.Answer	query(net.sf.tweety.commons.Formula query)

Methods inherited from class net.sf.tweety.commons.Reasoner

getKnowledgeBase

Methods inherited from class java.lang.Object

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

Constructor Detail

GrossiModgilRankingReasoner

public GrossiModgilRankingReasoner(DungTheory theory)

Creates a new reasoner for the given Dung theory

Parameters:

theory -

Method Detail

gradedDefense

public Collection<Argument> gradedDefense(Collection<Argument> args,
                                          int m,
                                          int n)

Implements the graded defense function from Def. 5, i.e. gradedDefense_m_n(X) = { x | there are not more than m different y s.t. y attacks x and there are not more than n different z s.t. z attacks y and z is in X}

Parameters:

args - some set of arguments

m - some integer (indicating the number of attackers)

n - some integer (indicating the number of attackers of attackers)

Returns:

the set of arguments mn-defended by the given set of arguments

gradedNeutrality

public Collection<Argument> gradedNeutrality(Collection<Argument> args,
                                             int m)

Implements the graded neutrality function from Def. 6, i.e. gradedNeutrality_m(X) = {x | there are less than m arguments y from X that attack x}

Parameters:

args - some set of arguments

m - some integer (the number of attackers)

Returns:

the set of arguments m-neutral to args.

isMConflictFree

public boolean isMConflictFree(Collection<Argument> args,
                               int m)

Checks whether the given set of arguments is m-conflict-free, cf. Def. 9.

Parameters:

args - some set of arguments

m - some integer

Returns:

"true" iff args is m-conflict-free

isMNAdmissible

public boolean isMNAdmissible(Collection<Argument> args,
                              int m,
                              int n)

Checks whether the given set of arguments is mn-admissible, cf. Def. 9.

Parameters:

args - some set of arguments

m - some integer

n - some integer

Returns:

"true" iff args is mn-admissible

isMNComplete

public boolean isMNComplete(Collection<Argument> args,
                            int m,
                            int n)

Checks whether the given set of arguments is mn-complete, cf. Def. 9.

Parameters:

args - some set of arguments

m - some integer

n - some integer

Returns:

"true" iff args is mn-complete

isMStable

public boolean isMStable(Collection<Argument> args,
                         int m)

Checks whether the given set of arguments is m-stable, cf. Def. 9.

Parameters:

args - some set of arguments

m - some integer

Returns:

"true" iff args is m-stable

isMNGrounded

public boolean isMNGrounded(Collection<Argument> args,
                            int m,
                            int n)

Checks whether the given set of arguments is mn-grounded, cf. Def. 9.

Parameters:

args - some set of arguments

m - some integer

n - some integer

Returns:

"true" iff args is mn-grounded

isMNPreferred

public boolean isMNPreferred(Collection<Argument> args,
                             int m,
                             int n)

Checks whether the given set of arguments is mn-preferred, cf. Def. 9.

Parameters:

args - some set of arguments

m - some integer

n - some integer

Returns:

"true" iff args is mn-preferred

getAllMNCompleteExtensions

public Collection<Extension> getAllMNCompleteExtensions(int m,
                                                        int n)

Returns all mn-complete extensions.

Parameters:

m - some integer

n - some integer

Returns:

all mn-complete extensions.

getAllMNPreferredExtensions

public Collection<Extension> getAllMNPreferredExtensions(int m,
                                                         int n)

Returns all mn-preferred extensions.

Parameters:

m - some integer

n - some integer

Returns:

all mn-preferred extensions.

getAllMNGroundedExtensions

public Collection<Extension> getAllMNGroundedExtensions(int m,
                                                        int n)

Returns all mn-grounded extensions.

Parameters:

m - some integer

n - some integer

Returns:

all mn-grounded extensions.

getAllMStableExtensions

public Collection<Extension> getAllMStableExtensions(int m)

Returns all m-stable extensions.

Parameters:

m - some integer

n - some integer

Returns:

all m-stable extensions.

getCompleteRanking

public ArgumentRanking getCompleteRanking()

Returns the ranking wrt. complete semantics, cf. Def. 10

Returns:

the ranking wrt. complete semantics, cf. Def. 10

query

public net.sf.tweety.commons.Answer query(net.sf.tweety.commons.Formula query)

Specified by:

query in class net.sf.tweety.commons.Reasoner